Type system doc: On the purpose of the type constructors.