[racket] rudimentary macro Q.

p.s. I didn't mean my reply to disregard what Matthias showed. In
fact, item 2 on my list might simply amount to a more-convenient way
of wrapping just that in a form that's a bit more convenient on the
provider side, and if necessary cooperates automatically on the
require/typed side??