add typed/racket and typed/racket/base

original commit: 820040abc14381dc4b2ad7e4f11bcadbd821e089

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)))

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)))

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))

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))

collects/typed/racket/system.rkt

@@ -0,0 +1 @@
+#lang s-exp typed/private/wrap racket/system