Insertion sort (adjoin-set)