Implementada verificação da atibuição da declaração para confirmar que os dois operandos são números. Isso já prepara pra eu poder implementar a identificação de variáveis nos operandos e o tratamento das mesmas.