switch solver used for type checking
Yields a speedup > 10% for tests with many type instantiations