Add some notes from chapter 2 on types