Ordering package:type-natural

Ordering data type for type literals that provides proof of their ordering.