An ordered union-set implementation
A binary tree representation of sets
An adjoin method for binary sets