Adicionada impressão de termos para while, teste de tipos para operação binária.