fix: check type of synthesized instances#14519

datokrat wants to merge 10 commits into

leanprover:masterleanprover/lean4:masterfrom

datokrat:paul/9077-attempt-5-downstreamdatokrat/lean4:paul/9077-attempt-5-downstreamCopy head branch name to clipboard