Moved Typed Scheme's optimizer to its own subdirectory.

collects/meta/props

@@ -1916,7 +1916,7 @@ path/s is either such a string or a list of them.
 "collects/typed/rackunit" responsible (jay)
 "collects/typed/rackunit/gui.rkt" drdr:command-line (gracket "-t" *)
 "collects/typed-scheme" responsible (samth)
-"collects/typed-scheme/private/optimize.rkt" responsible (stamourv)
+"collects/typed-scheme/optimizer" responsible (stamourv)
 "collects/unstable" responsible (jay samth cce ryanc)
 "collects/unstable/byte-counting-port.rkt" responsible (jay)
 "collects/unstable/debug.rkt" responsible (samth)

collects/typed-scheme/typed-scheme.rkt

@@ -5,7 +5,8 @@
          (for-syntax 
           (except-in syntax/parse id)
           racket/match unstable/syntax racket/base unstable/match
-          (private type-contract optimize)
+          (private type-contract)
+          (optimizer optimizer)
           (types utils convenience)
 	  (typecheck typechecker provide-handling tc-toplevel)
 	  (env type-name-env type-alias-env)

collects/typed-scheme/utils/utils.rkt

@@ -83,6 +83,7 @@ at least theoretically.
 (define-requirer env env-out)
 (define-requirer private private-out)
 (define-requirer types types-out)
+(define-requirer optimizer optimizer-out)
 
 ;; run `h' last, but drop its return value
 (define-syntax-rule (reverse-begin h . forms) (begin0 (begin . forms) h))