Verificações de variáveis duplamente definidas, variáveis não definidas e typecheck