Terminado chequeo de tipos para las definiciones.