plt/racket — pull request #527 by takikawa (2013-12-20 09:56:15+00:00)
Title: TR: add a #lang for additional "base types" that are required

This adds an internal #lang like the existing `env-lang.rkt` used for the main base type environment, except that it constructs a `#%type-decl` submodule so that the module can actually be required by a user.

The second commit shows how this is used by defining `typed/syntax/stx` which re-exports `syntax/stx` with types.