By way of update, we settled on this approach, at least experimentally. It has the virtue of using native JSON data structures.
This proposal did not attempt to deal with semantics (well, aside from quote, and maybe code), per my comments at the top of this thread, which seemed in retrospect overkill.