add procedure adjoin-set for sorted set