Minor update to types.
Adding chapter 7.