Add approprite init calls.

Closes PR 13102.

original commit: e4c07f14abecc621e62ea1c15dea42b64070df0b

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt

@@ -47,6 +47,7 @@
                         [current-type-names
                          (if (attribute verbose-kw) '() (current-type-names))]
                         [current-print-unexpanded (box '())])
+           (init)
            (define type (format "~a" (parse-type #'ty)))
            (define unexpanded
              (remove-duplicates (unbox (current-print-unexpanded))))
@@ -100,6 +101,7 @@
     (λ (stx init)
       (syntax-parse stx
         [(_ op desired-type)
+         (init)
          (let ([expected (parse-type #'desired-type)])
            (tc-setup stx #'op 'top-level expanded init tc-toplevel-form before type
                      (match type

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt

@@ -16,8 +16,6 @@
   (delay
     (define ns (make-base-namespace))
     (eval '(require typed/racket) ns)
-    ;; Load TR code. TODO make this not needed (pr/13102)
-    (eval '(#%top-interaction void) ns)
     ns))
 
 (define-syntax (test-form-exn stx)