change Typeable instance according to ghc 7.8. remove all models for the time being