Removed deprecated TypeUniverse code
Removed Dynamic.hs test for TypeUniverse and added Typeable instances for several types
Updated MainBenchmark