GenericSortedSet almost done.