Tenemos chequeo en la llamada a funciones.

Ya chequeamos tipos en las llamadas a funciones tanto como expresiones
como cuando son instrucciones.