fix some typos
fix sum's type signature in 9th chapter
reword sentence regarding unboxed types written with trailing hash