sortByMany in a couple of forms, and a data type for heterogenous ordering lists