Alterações nas checagens para aprimorar o controle de tipagem