Adicionando:
- Retorno nos comandos
- Coerção de tipos para expressões binárias aritméticas e lógicas

Falta
- Coerção de tipos para expressões unárias aritméticas e lógicas,
binárias relacionais