Continuacion de verficacion de tipos.

1) Se modifico el parser y la clase program para permitir
que el programa principal fuera una funicion tambien en el
ast.

2) Agregada la verificacion de tipos para el break y el continue.
Agregue una variable de clase del tipo bool a Node que indica
si se esta chequeando una iteracion.

3) Agregada parcialmente la verificacion del tipo de retorno de la
funcion con respecto a todos los return dentro de la funcion.
Falta cuando los return estan anidados dentro de alguna otra estructura
como ciclos o condicionales.