Add a type summary to chapter 6.