Assorted updates for typesetting, readability and clarity.

Various updates, mostly to chapters 3+4, but elsewhere also.  Added a definition for \resultingin (=>) that uses a bit more space to make it distinct;  also pushed comment-style parenthesized text to the right-hand margin in places (give the page a bit more 'balance').