Check for correct macro interpolation

[PatrickHaecker]

It would be good to check that all public and exported macros of a package work even if only using the macro itself and nothing else from the package. In other words, the returned macro expressions should not depend on any symbol from the package itself.

This would detect missing expression interpolation in macros.

See this motivating example.