Continuacion de Verificacion de tipos.

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

-Maik.
Continuacion de sistema de verificacion de tipos.

> Expresiones Binarias completas.
> Ahora lo que viene son los tipos para las funciones y arreglos.

-Maik.
Merge branch 'master' of https://github.com/RubenSerradas/Guava into maik