It would be nice to have "macro schemas" to describe the shape of valid Sexp arguments of macros, similarly to XML Schemas.

There are various "levels" of descriptions that I can imagine from purely syntactic (à la RelaxNG), to more sophisticated equivalent to typing rules, with intermediates that include syntax + scoping.

Stefan