Changelog for type-level-numbers-

Changes in * Type level addition is fixed for GHC 7.6 * Test suite added to cabal file Changes in * withNat, withInt, SomeNat and SomeInt added. Changes in * Fix build for GHC 7.4 Changes in * Fix URL in cabal file Changes in * Workaround for GHC bug #4364 (Build failure on GHC 7.0)