Add a #lang for additional base type environments

These are for base type environments that get `require`d
in rather than being loaded with #lang typed/racket.
Temporarily lose precision on the type of this channel

I'm working on channel contracts that will make this
unnecessary, but they won't be in for a little bit.