[racket] Lifting submodules

I want to write a macro which generates submodules and then possibly
requires them. This is so that can easily use another language (TR)
for the expression.

If all uses of the macro are at the top-level/module-level this is
easy and I can expand out to something like:
(begin
  (module new-mod typed/racket <expr and provides>)
  (require 'new-mod)
  <use exports>)

But I don't see how I can do something like this when the use is in an
expression context or an internal-definition context. Is there a way
to do this?