perf: de-fuel some recursive definitions in Core#11416

nomeata merged 22 commits intomasterleanprover/lean4:masterfrom

joachim/unfuelleanprover/lean4:joachim/unfuelCopy head branch name to clipboard