Implement instance for aggregation ordering terms.
Expor type constructors.