Welcome to the Racket stepper: https://docs.racket-lang.org/stepper/

...and the Racket syntax-parse macro system: https://docs.racket-lang.org/syntax/stxparse.html