Ordering package:relational-query

This module defines monad transformer which lift from query into query with ordering.
Type to accumulate ordering context. Type c is ordering term record context type.
Arrow type corresponding to Orderings
Type for order-by term
Lift to Orderings.
Run Orderings to get OrderingTerms