Latest 7.7 lacks Typeable1, breaking contravariant.

Changed the version bounds checked to disable the use of Typeable1 for 7.7 and later, rather than only >7.7.