Yes, it is weird. One thing that would help is that if we explicitly reimagine programming is characterizing the search space for the compiler, just as the e-g

Yes, it is weird. One thing that would help is that if we explicitly reimagine programming is characterizing the search space for the compiler, just as the e-graphs stuff in the article talks about separating generating alternatives from finding the best alternative.