Análise Semântica!

Falta apenas checagem de tipos.