Further updates and refinements to doc.

Still needs examples sections.