minor
updates to type system chapter
new section covering coverage