Looking forward to this one:

"A key element of the synthesis is the use of multiple binding spaces for context-specific sublanguages. For example, expressions, pattern-matching forms, and regular-expression constructions can use the same operators with different meanings and without creating conflicts. Context-sensitive bindings, in turn, facilitate a language design that reduces the notational disconnect between the core language and macro facilities."

https://2023.splashcon.org/details/splash-2023-oopsla/52/Rhombus-A-New-Spin-on-Macros-Without-All-the-Parentheses 

 @0376c6e8 @59893ad8  Also: “since handling static information (such as types) is also a necessary part of growing macros beyond Lisp, Rhombus includes support in its expansion protocol for communicating static information among bindings and expressions”.

Reminds me of Turnstile, which does a great job of using macros to express static type info:
https://docs.racket-lang.org/turnstile/