Initial version of SortedEquiSet, which is just a translation of the
current EquiSet.
First working SortedEquiSet. Pretty.