Add a #lang for additional base type environments

These are for base type environments that get required
rather than loaded with #lang typed/racket.
Add types for `syntax/stx` as `typed/syntax/stx`