Iterators that generate Orderings without repetition.
Ordering
Generates all Orderings, with Equal coming first.
Equal
Generates all Orderings, in increasing order.