feat: let synth order checker detect generalized projections#7310

kmill wants to merge 2 commits intoleanprover:masterleanprover/lean4:masterfrom

kmill:computeSynthOrder_gen_projkmill/lean4:computeSynthOrder_gen_projCopy head branch name to clipboard