Transitive Equality.

Ensure transitive equality, and more properly scope which Seq are ordered.