Scaladoc'd SeqEqualityConstraints and tweaked that of MapEqualityConstraints.
Scaladoc'd SetEqualityConstraints, and tweaked that of SeqEqualityConstraints.
Scaladoc'd TraversableEqualityConstraints.