Trimmed more false-positive incompletes
Trying to introduce MultiOrdering

But having difficulties getting it to work quite right.
Progress on making MultiOrdering more concise
MultiOrdering is starting to look decent
Using MultiOrdering consistently, where appropriate