Adicionado checagem de tipos para alguns controles de fluxo

    * Faltou terminar de verificar os tipos nos casos do For e do Foreach