Adicionada verificacao de simbolos declarados/nao declarados no momento do uso e se tipos conferem (vetor, var, funcao). Necessita de testes.