Fixed a few typos and other infelicities

Hopefully clarified a few things.  Added a few notes with
;;;; [[ some note ]]
where I didn't know what to do about an infelicity.