typenums-0.1.2: Type level numbers using existing Nat functionality

Type level numbers using existing Nat functionality. Uses kind-polymorphic typeclasses and type families to facilitate more general code compatible with existing code using type-level Naturals.