Update deps
Use generic definition for isomoprhism between Nat and S,Z
Use Proxy from Data.Typeable
Export type functions
Fix build

Singletons were removed from GHC
Move type functions into separate module
Doc
Use coerce for cast between newtypes
Remove type class Implicit
Unused import
Typo
Use coerce
Do not export homConstruct/homInspect from D.V.HFixed
Update documentation
Doc
Move NatIso to fixed-vector
Make use of NatIso optional
Restore support for GHC 7.6.

Only differenece between 7.8 and 7.6 is support for type level Nats
Bump