WLS: working on the type chapter and, in particular, clarifying the issue of semantics of types.