Más correcciones en el chequeo de tipos