(+) Comparators for lexicographical natural orders

(+) Interpretation of order statements
(/=) Use less type safe, but more general way of resolving predicates.
Type checking should not be done in the code gen anyway.