Mudanças para avançar na checagem de tipos