Returns a new Rule that is the logical equivalent of the following operation:
Returns a new Rule that represents a given value of T, representing the logic of the type T.