Remove dependecies to Typeable because it tends to confuse HERMIT, at least on GHC 7.6.3
Add pre-defined type natuals up to N99
Add IsNat constraint to Vec functions