Added a subtraction operation for Orderings.