adjoin-set with ordered elements. requires about half as many steps as unordered representation of sets
O(n) implementation of union-set