vincula(), vinculaDefPunteros(), chequea(), tipoSimplificado() and
simplificaDefTipos() implemented for all Nodes except packages instr,
subprog, still needs checking of correction + refactor of some classes