Initial internal Typed Racket documentation.

Still needs to be scribbled, and have lots more added.