Refactoring leve en la jerarquia de clases Tipo

Se elimino el pasaje de parametro de la tabla de simbolos y se lo agrego como un atributo de instancia para los tipos de clase. Se pasa la tabla de simbolos en el momento de creacion de estos tipos.

Se agrego un control adicional para el caso en el que se realice un retorno en un metodo void (y su test correspondiente)