Thanks very much for writing this up!
Since that thread doesn’t seem to let me reply, let me ask here instead: why do quote/unquote exist when meta/unmeta do the same thing while handling more cases?
Insofar as I understand it, spreadsheets already are implemented like this (which is why you can copy/paste things in Excel without breaking formula references). There’s also Unison, which takes it even further.
In any case, my interests are less ambitious: I simply want a spreadsheet with proper data structures, and with a programming language which hasn’t remained unchanged since 1983. Originally a central part of this was going to be static typechecking and inference, but I’m slowly moving away from that idea. My current train of thought is that homoiconicity might be incredibly powerful in a spreadsheet context, but only if I can figure out some kind of coherent design for it…!
Oh, so that’s your work! I do recall having seen this video before. (Personally, I don’t love structural editing; I’ve come to feel that its disadvantages outweigh its advantages. But that’s just my opinion.)