diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,3 +1,4 @@
+Copyright (c) 2008, Scott E. Dillard
 Copyright (c) 2010, Gregory M. Crosswhite
 All rights reserved.
 
diff --git a/TypeLevel/NaturalNumber.hs b/TypeLevel/NaturalNumber.hs
--- a/TypeLevel/NaturalNumber.hs
+++ b/TypeLevel/NaturalNumber.hs
@@ -5,6 +5,8 @@
 
 module TypeLevel.NaturalNumber where
 
+import Data.Typeable
+
 data Zero
 data SuccessorTo n
 
@@ -87,3 +89,8 @@
     compare _ _ = EQ
 instance NaturalNumber n => Ord (SuccessorTo n) where
     compare _ _ = EQ
+
+instance Typeable Zero where
+    typeOf n = mkTyConApp (mkTyCon $ "N#0") []
+instance NaturalNumber n => Typeable (SuccessorTo n) where
+    typeOf n = mkTyConApp (mkTyCon $ "N#" ++ show (naturalNumberAsInt n + 1)) []
diff --git a/type-level-natural-number.cabal b/type-level-natural-number.cabal
--- a/type-level-natural-number.cabal
+++ b/type-level-natural-number.cabal
@@ -1,5 +1,5 @@
 Name:                type-level-natural-number
-Version:             1.0
+Version:             1.1
 License:             BSD3
 License-file:        LICENSE
 Author:              Gregory Crosswhite
@@ -10,7 +10,7 @@
                      of type-level natural numbers.  Operations requiring
                      non-Haskell 2010 language extensions have been split
                      into a separate package.
-
+		     .
 		     The difference between this package and the many
                      others on Hackage implementing type-level
                      naturals is its emphasis on simplicity.  It only
@@ -20,14 +20,17 @@
                      linked list, so it is not intended to be used for
                      representing large numbers.  Pre-defined aliases
                      for natural numbers up to 15 are provided.
-
-                     The code for this package was largely inspired by
-                     the type-level natural numbers in the excellent
-                     Vec package.
-
-Cabal-version: >=1.6
-Build-type: Simple
-Category: Type System,Data
+		     .
+                     The code for this package was largely taken from
+                     the excellent Vec package; I created this package
+                     with the intent of making this functionality more
+                     widely available.
+		     .
+                     Difference from 1.0:  Added instances for Typeable, and
+                     word synonyms for N0...N15.
+Cabal-version:       >=1.2.3
+Build-type:          Simple
+Category:	     Type System,Data
 
 Library
     Build-depends:   base >= 3 && < 5