A Racket package for creating macros with built-in support for defining sub-macros within them, similar to match expanders