Simple, Haskell 2010-compatible type-level natural numbers for Haskell.