type-natural-0.0.3.0: Type-level natural and proofs of their properties.