documentation updates

  Add bunch of missing symbols to the manual, and go over several
  docstrings reformatting them for the benefit of the documentation
  generator.

  (A crapton of symbols are still not in the manual.)