The data needed for (2) is mostly already available: most lisps maintain a Xref database and Slime already has a binding for `slime-who-macroexpands`[1]. Integr

The data needed for (2) is mostly already available: most lisps maintain a Xref database and Slime already has a binding for `slime-who-macroexpands`[1]. Integrating this performantly into the compiler might be interesting, but I think it's theoretically tractable. [1]: https://common-lisp.net/project/slime/doc/html/Cross_002dreference.html https://common-lisp.net/project/slime/doc/html/Cross_002dref...