struct LazyMapOfIndexSet:#708

MilkBlock wants to merge 5 commits intoegraphs-good:mainegraphs-good/egglog:mainfrom

MilkBlock:im_mainMilkBlock/egglog:im_mainCopy head branch name to clipboard