Comments only.

Fix the documentation on CmpSymbol and CmpNat; add a note on (<=?).