Major refactoring of the type inference engine

No match.