add AutoDeriveTypeable for GHC >= 7.8
minor version bump (non-orphan instances of Typeable added)
consistent format for header comments
mfix on ExceptT and MaybeT: expand messages, consistent style