Updated the comments considerably.

  The file was previously very readable, but it is now 100%
 current and correct.  With minor clarifications added for
 neatness.