CompactTreeSet [probably OK, but not all functions tested]