It would be nice to use consistent terminology for macros.

For example, in $a:b, Macros Guide calls b a "fragment specifier", Reference Manual calls it a "designator". Both are inscrutable, and looking at search engine hits "fragment specifier" seems to be a Rust coinage.

Dylan calls it "constraint", which seems reasonable to me. See a section on Dylan Macro System documentation.