Changed from custom proxy type to Data.Proxy.
Revert "Changed from custom proxy type to Data.Proxy."

This reverts commit e3930f46e3be055c036ffb8d07211d95e7fb1793.
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
Merge remote-tracking branch 'upstream/master'
Defined KnownNat for getting term-level representation of naturals.