GHC 7.8 version, using DataKinds, TypeNats, closed type families.
Fix module name. Port tests.
Got rid of Succ, Pred, at the expense (+).
Fix synopsis, alphabetical extensions.
Added exponentiation with tests.
Doc updates.