Allows efficient operators to be defined for the interaction between types and the equivalent identity.