feat: (experiment) have synth order defer "mixin" instances#7313

Draft

kmill wants to merge 3 commits intoleanprover:masterfrom

kmill:computeSynthOrder_mixins

Commits on Mar 3, 2025

Commits on Mar 4, 2025

idea: have "mixins" be sort of like outparams, but still synthesize them at the end
kmill
committed