Propagated the recent change in overloaded types computed by the type
checker to the compiler.