Tightened up documentation.

Changed operation documentation to refer to operands consistently (rather than programs), referred to operations rather than operators where appropriate, improved explanations, and added omitted link.