WLS: working on the structuring of the introduction to the types chapter.