sorting.extras: adding map-sort for efficiently decorating, sorting, and undecorating a sequence.