Port Facet.SortedSet