Value, singleton, and type-level exponentiation for Nat.
Merge pull request #6 from fmapfmapfmap/added-exponentiation

Value, singleton, and type-level exponentiation for Nat.