ghc-typelits-extra-0.1: Additional type-level operations on GHC.TypeLits.Nat