Added new EqualityConstraint trait and its LowPriority ancestor.