sets.extras: adding adjoin-at*.