Take an Equivalence, not an Equality, for TypeChecked and ConversionChecked TripleEquals equality constraint methods.
Drop use of "Restricted" traits in tests.