On closer thinking, this never was a stable-sorting algorithm, even if
we reversed the are-eq portion of the list, because the are-lt and
are-gt portions might have repeated elements, and they get reversed
(and then re-reversed...) on each recursive call...  So, let's not
make the claim of stability, and implement a stable-sort algorithm
later if needed