Sets as ordered lists - adjoin-set