Ordering package:incipit-base

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