A trait for representing equivalence relations. It is important to
distinguish between a type that can be compared for equality or
equivalence and a representation of equivalence on some type. This
trait is for representing the latter.

An equivalence relation
is a binary relation on a type. This relation is exposed as
the equiv method of the Equiv trait. The relation must be: