Inclusão de verificação de tipos e escopo no slide de apresentação.