AS - Só falta verificação de tipos nas expressões!

Só falta a verificação de tipos das expressões.