vincula(), vinculaDefPunteros(), chequea(), tipoSimplificado() and
simplificaDefTipos() implemented for package subprog, still needs
checking of correction; only remains package instr to implement