Adicionei comparação de tipos até o nivel logico
Falta comparação de tipos para expressoes relacionais e aritmeticas

Otimizei a 'tabela' de simbolos para um hashmap (vai bem mais rapido)