Continuacion de Verificacion de tipos.

> Completos:
>> Expresiones aritmeticas.
>> Expresiones booleanas.
> Errores:
>> Las llamadas a funcion no se estan considerando como expresiones. MOSCA.

-Maik.