fix: improved dependency tracking in metacontext and abstractMVars#13025

kmill wants to merge 3 commits intomasterleanprover/lean4:masterfrom

kmill_abstractmvars_fixedleanprover/lean4:kmill_abstractmvars_fixedCopy head branch name to clipboard