Why is this needed?  Macro-paradise is likely never to be supported, the only thing that's likely to ever come out of "experimental" status is black box macro support (ie, macros where code that consumes them can be type checked without running the macro itself).