experiment: try recording all name resolutions#11306

Kha wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-zqxrwtqqsyrkKha/lean4:push-zqxrwtqqsyrkCopy head branch name to clipboard