Ordering package:clash-prelude

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