Chapter 2. Overview of the type system

Figure 2.1. 

TODO: Present the model

TODO: Briefly discuss function types.