Fix in the type checker related to the recent change of overloaded
types.