Move typed-scheme/lang/main.ss to typed-scheme/main.ss.

Fix documentation to match.

svn: r8886

original commit: 621cff1d9abce5e0fc2cb3bb474f7dd41f15e0af

collects/typed-scheme/lang/reader.ss

@@ -3,10 +3,10 @@
 	   (only-in syntax/module-reader wrap-read-all))
   
   (define (*read in)
-    (wrap-read-all 'typed-scheme/lang/main in r:read))
+    (wrap-read-all 'typed-scheme in r:read))
   
   (define (*read-syntax src in)
-    (wrap-read-all 'typed-scheme/lang/main
+    (wrap-read-all 'typed-scheme
 		   in
 		   (lambda (in)
 		     (r:read-syntax src in))))

collects/typed-scheme/minimal.ss

@@ -5,7 +5,7 @@
 
 (require (for-syntax scheme/base))
 
-(define-for-syntax ts-mod "../typed-scheme.ss")
+(define-for-syntax ts-mod "typed-scheme.ss")
 
 (define-syntax (providing stx)
   (syntax-case stx (libs from basics except)

collects/typed-scheme/typed-scheme.scrbl

@@ -1,7 +1,7 @@
 #lang scribble/doc
 
 @begin[(require scribble/manual)
-       (require (for-label typed-scheme/lang/main))]
+       (require (for-label typed-scheme))]
 
 @begin[
 (define (item* header . args) (apply item @bold[header]{: } args))
@@ -10,7 +10,7 @@
 
 @title[#:tag "top"]{@bold{Typed Scheme}: Scheme with Static Types}
 
-@(defmodulelang typed-scheme #:use-sources (typed-scheme/lang/main))
+@(defmodulelang typed-scheme)
 
 Typed Scheme is a Scheme-like language, with a type system that
 supports common Scheme programming idioms.  Explicit type declarations