Added Equivalence and made Equality extend it.
Renamed EqualityConstraint to TripleEqualsConstraint, and EqualityConstraints to TripleEqualsConstaints.
Changed names of TripleEqualsConstraints methods, essentially changing appearances of "EqualityConstraint"
to "TripleEqualsConstraint".