Verificacion de tipos: Errores.

> Se comenzo con el reporte de errores en la verificacion de tipos.
En expresiones binarias-aritmeticas.

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