Alonzo-dev news: I can now edit function bodies!
There's still some bugs & refinements to iron out here, but I think the most important thing now is to synthesize missing branches!
I needed to add a callback flagging that relayout needed doing, or the system would crash in multiple ways.