Choose between Typeable and Typeable1
Fix some lint
Relax constraints on tasty packages