[racket] Embedding HtDP Teaching Languages

Try something like this.

#lang racket

(require lang/htdp-advanced
         test-engine/scheme-tests)

(provide provide
         [except-out (all-from-out lang/htdp-advanced) #%module-begin]
         [rename-out (top-level #%module-begin)])

(require mzlib/pconvert)
(constructor-style-printing true)
(install-converting-printer)
(print-as-expression false)
(abbreviate-cons-as-list false)

(define-syntax (top-level body-exprs)
  (syntax-case body-exprs ()
    [(_ bodies ...)
     #'(#%module-begin bodies ... (run-tests) (display-results))]))