CompactTreeSet [dev.]