Takes a Rule implementation and converts it another Rule, wrapping the type of T in a Matchable so it can be evaluated.
The class that converts a value of T to a Matchable