[hacking] REPL command for uniqueness, list all identifiers that refine a hole, partially fix parameter count for identifier refinement