Hygienic macros can also be dealt properly, mzscheme is an example. But I have no idea how Arc macros can work well with modules.
Maybe the CL package system is the only way.
-----