SortedSet, implemented as a left-leaning red-black tree (LLRB)