Update tests following changes in base
Bump version to 0.4.0.1
Fix inline rule shadowing warnings
remove deprecated pragma (eliminating warning)
Add comment to .cabal file saying what GHC 7.6.1 shipped with
Bump version number following new policy

We now keep the HEAD version numbers as values which would be suitable
for immediate release.
Bump base lower version to 4.5 (the version GHC 7.4.1 came with)

and remove code to support older versions
Implement poly-kinded Typeable

This patch makes the Data.Typeable.Typeable class work with arguments of any
kind. In particular, this removes the Typeable1..7 class hierarchy, greatly
simplyfing the whole Typeable story. Also added is the AutoDeriveTypeable
language extension, which will automatically derive Typeable for all types and
classes declared in that module. Since there is now no good reason to give
handwritten instances of the Typeable class, those are ignored (for backwards
compatibility), and a warning is emitted.

The old, kind-* Typeable class is now called OldTypeable, and lives in the
Data.OldTypeable module. It is deprecated, and should be removed in some future
version of GHC.