diff --git a/collects/typed/racket.rkt b/collects/typed/racket.rkt
new file mode 100644
index 00000000..2f76257a
--- /dev/null
+++ b/collects/typed/racket.rkt
@@ -0,0 +1,6 @@
+#lang racket/base
+           
+(require typed/racket/base racket/require (subtract-in racket typed/racket/base racket/contract)
+	 (for-syntax racket/base))
+(provide (all-from-out typed/racket/base racket)
+	 (for-syntax (all-from-out racket/base)))
\ No newline at end of file
diff --git a/collects/typed/racket/base.rkt b/collects/typed/racket/base.rkt
new file mode 100644
index 00000000..8c71a40b
--- /dev/null
+++ b/collects/typed/racket/base.rkt
@@ -0,0 +1,22 @@
+#lang s-exp typed-scheme/minimal
+           
+
+
+(providing (libs (except racket/base #%module-begin #%top-interaction with-handlers lambda #%app)
+                 (except typed-scheme/private/prims)
+                 (except typed-scheme/private/base-types-new)
+                 (except typed-scheme/private/base-types-extra))
+	   (basics #%module-begin		   		   		   
+		   #%top-interaction
+		   lambda
+		   #%app))
+(require typed-scheme/private/base-env
+	 typed-scheme/private/base-special-env
+	 typed-scheme/private/base-env-numeric
+	 typed-scheme/private/base-env-indexing
+	 typed-scheme/private/extra-procs
+	 (for-syntax typed-scheme/private/base-types-extra))
+(provide (rename-out [with-handlers: with-handlers]
+                     [define-type-alias define-type])
+	 assert with-type
+         (for-syntax (all-from-out typed-scheme/private/base-types-extra)))
diff --git a/collects/typed/racket/base/lang/reader.rkt b/collects/typed/racket/base/lang/reader.rkt
new file mode 100644
index 00000000..956259de
--- /dev/null
+++ b/collects/typed/racket/base/lang/reader.rkt
@@ -0,0 +1,18 @@
+#lang s-exp syntax/module-reader
+
+typed/racket/base
+
+#:read r:read
+#:read-syntax r:read-syntax
+#:info make-info
+#:language-info make-language-info
+
+(define (make-info key default use-default)
+  (case key
+    [else (use-default key default)]))
+
+(define make-language-info
+  `#(typed-scheme/language-info get-info ()))
+
+
+(require (prefix-in r: typed-scheme/typed-reader))
diff --git a/collects/typed/racket/lang/reader.rkt b/collects/typed/racket/lang/reader.rkt
new file mode 100644
index 00000000..35c0f81d
--- /dev/null
+++ b/collects/typed/racket/lang/reader.rkt
@@ -0,0 +1,18 @@
+#lang s-exp syntax/module-reader
+
+typed/racket
+
+#:read r:read
+#:read-syntax r:read-syntax
+#:info make-info
+#:language-info make-language-info
+
+(define (make-info key default use-default)
+  (case key
+    [else (use-default key default)]))
+
+(define make-language-info
+  `#(typed-scheme/language-info get-info ()))
+
+
+(require (prefix-in r: typed-scheme/typed-reader))
diff --git a/collects/typed/racket/system.rkt b/collects/typed/racket/system.rkt
new file mode 100644
index 00000000..ccdf327a
--- /dev/null
+++ b/collects/typed/racket/system.rkt
@@ -0,0 +1 @@
+#lang s-exp typed/private/wrap racket/system
\ No newline at end of file