Se revisan los tipos de los parámetros antes de llamar a la función

- En realidad esto se debe hacer en el analizador semántico, pero por
  ahora estoy poniendo a prueba el sistema de tipos.