Note that R7RS does not really have any sort of sophisticated phase system for macros.