Improve documentation on comparison operators.

Explain the difference between `opCmp` and `opEquals`, when to use which, and the rationale behind them.