pub trait Nat { fn lower() -> usize; }
Trait representing a type-level definition of natural numbers (Peano numbers).
Lowers a natural number from a type level value (type) to corresponding term-level value.
