[racket] Typed syntax (macros) for typed/racket?

  I'm curious if there is a capability to define typed macros,
ideally catching errors at the macro "call site" instead of
within the expansion. If not, is there any interest in such a
facility?

Scott