> We have a few flavors of macroexpand-type API to help debugging,
> but their results are just for information to humans and
> not expected to be reused in the program---e.g. you can't always tweak the
> result of macroexpand in Scheme
> and then put it back to the compiler pipeline, like Common Lisp.

I think that is perfectly fine :) It already helps a lot.