diff --git a/collects/tests/typed-scheme/fail/check-expect-fail.ss b/collects/tests/typed-scheme/fail/check-expect-fail.ss
index 92b38e8a..7fd3ef0c 100644
--- a/collects/tests/typed-scheme/fail/check-expect-fail.ss
+++ b/collects/tests/typed-scheme/fail/check-expect-fail.ss
@@ -1,6 +1,6 @@
 #lang typed/scheme
 
-(require test-engine/scheme-tests)
+(require typed/test-engine/scheme-tests)
 (check-expect 3 (+ 1 'foo))
 
 (test)
diff --git a/collects/tests/typed-scheme/succeed/check-expect.ss b/collects/tests/typed-scheme/succeed/check-expect.ss
index dddc43af..2d52564c 100644
--- a/collects/tests/typed-scheme/succeed/check-expect.ss
+++ b/collects/tests/typed-scheme/succeed/check-expect.ss
@@ -1,6 +1,6 @@
 #lang typed/scheme
 
-(require test-engine/scheme-tests)
+(require typed/test-engine/scheme-tests)
 (check-expect 3 4)
 
 (test)
diff --git a/collects/typed-scheme/private/base-special-env.ss b/collects/typed-scheme/private/base-special-env.ss
index 187da6e5..6f41f071 100644
--- a/collects/typed-scheme/private/base-special-env.ss
+++ b/collects/typed-scheme/private/base-special-env.ss
@@ -10,7 +10,7 @@
  (only-in scheme/match/runtime match:error)
  scheme/promise
  string-constants/string-constant
- (prefix-in ce: test-engine/scheme-tests)
+ ;(prefix-in ce: test-engine/scheme-tests)
  (for-syntax
   scheme/base syntax/parse
   (utils tc-utils)
@@ -76,37 +76,7 @@
   (-poly (a b) 
          (cl->*
           (-> (-lst a) (-val '()) (-lst a))
-          (-> (-lst a) (-lst b) (-lst (*Un a b)))))
-  [(syntax-parse (local-expand #'(ce:test) 'expression null)
-                 #:context #'ce:test
-     [(_ ce-t:id) #'ce-t])
-   (-> -Void)]
-  
-  [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
-                 #:literals (let when define-values)
-    [(define-values _ 
-       (let ((_ _))
-         (when _ 
-           (insert-test _ (lambda () (check-values-expected _ _ _ _))))))
-     #'insert-test])
-   (Univ (-> Univ) . -> . -Void)]
-  [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
-                 #:literals (let when define-values)
-                 ;#:literal-sets (kernel-literals)
-    [(define-values _ 
-       (let ((_ _))
-         (when _ 
-           (insert-test _ (lambda () (check-values-expected _ _ _ _))))))
-     #'check-values-expected])
-   ((-> Univ) Univ Univ Univ . -> . -Void)]
-  [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
-                 #:literals (let when define-values)
-                 ;#:literal-sets (kernel-literals)
-    [(define-values _ 
-       (let ((_ (nvv _ _ builder _)))
-         _))
-     #'builder])
-   (-> Univ)])
+          (-> (-lst a) (-lst b) (-lst (*Un a b))))))