diff --git a/typed-racket-test/unit-tests/init-env-tests.rkt b/typed-racket-test/unit-tests/init-env-tests.rkt
index 24cb0aae..6d555094 100644
--- a/typed-racket-test/unit-tests/init-env-tests.rkt
+++ b/typed-racket-test/unit-tests/init-env-tests.rkt
@@ -2,6 +2,7 @@
 
 (require "test-utils.rkt"
          rackunit
+         (rep object-rep type-rep)
          (env init-envs)
          (types abbrev union))
 
@@ -27,5 +28,25 @@
       (check-equal?
         (convert (-mu x (-lst* Univ (-box x))))
         '(make-Mu 'x (make-Pair Univ (make-Pair (make-Box (make-F 'x)) -Null))))
+      (check-equal?
+        (convert (make-StructTypeTop))
+        '-StructTypeTop)
+      (check-equal?
+        (convert (make-BoxTop))
+        '-BoxTop)
+      (check-equal?
+        (convert (make-ClassTop))
+        '-ClassTop)
+      (check-equal?
+        (convert (make-FieldPE))
+        '-field)
+      (check-equal?
+        (convert (make-StructType (make-Struct #'foo #f null #f #f #'foo?)))
+        '(make-StructType
+          (make-Struct (quote-syntax foo) #f (list) #f #f (quote-syntax foo?))))
+      (check-equal?
+        (convert (make-StructTop (make-Struct #'foo #f null #f #f #'foo?)))
+        '(make-StructTop
+          (make-Struct (quote-syntax foo) #f (list) #f #f (quote-syntax foo?))))
     )
   ))