Added a new EnabledEqualityBetween that enables checked comparisons
between types for which cooperating Equality instances have been
defined.