Added ++, --, /: and :\ to SortedEquiSet.