Correct fixity for (^).
Typeable NumType.
Updated test suite.
Added pred and succ.
Simpler instance.
Add Zero constructor. Remove Nat0.
Simplification from both Pos and Neg using Nat1.
Clean up LANGUAGE pragmas.
Minor simplificaiton.
Reimplement Nat, kindof.
Clean redundancies in Nat.
Added migration path to GHC.TypeLits in comments.
NatPred/NatSucc.
Minimize and collect GHC.TypeLit changes.
 and  type “synonyms”.
Cabal edits. v0.3