The In operator defines several terminological overloads that specifically use equivalence rather than equality for the membership test. The same operations are useful for the contains case. Consider adding contains terminological overloads.