Then are you saying that your sort call is equivalent to reverse? I'm not sure I follow.

If that is the case, then we should definitely remove the Comparable contract et al, because why would that new order be the canonical order?