wording/formatting in ch 6
detailed index "universal property"
wording/formatting in ch 7
two more
notation in 7.6.6 was a mes
Fix proofs of 7.6.5 and 7.6.6.

The proof of 7.6.5 implied that its second equality was definitional,
and that fact was used in the proof of 7.6.6.  However, I don't see
how to make the equality definitional.  Fortunately, the proof works
without it.