Macro-expansion is basically working, but the last step is still stuck because eval turned everything into a Truffle Polyglot value.
Quotation needs a bit of a rework, so taking a detour to fix that up now.
Decided to publish these notes in the public instead of as private notes.