Setup the section on the type system for freedom of speech (#1).

I decided to break up the typing rules into segments that I can explain
feature by feature.