Cambios antes de Pull. Verificacion de tipos en expresiones booleanas.

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

Conflicts:
	GuavaParser.yy
	ProgramasEjemplo/tipos.gv
Merge branch 'master' of https://github.com/RubenSerradas/Guava into maik
Lista Verificación de Tipos: Expresiones Binarias (Aritméticas y Booleanas).

-Maik.
Merge branch 'master' of https://github.com/RubenSerradas/Guava into maik
Modificado: archivo de pruebas unitarias.

-Maik.