[Graeme] Updated chapter 17 (types), lecture 8.