Negation deserves a better explaination

Explain negation before comparators because it applies to all of them.
Explicitly highlight $not comparator is a L2 addition
Double negation should never have been part of L3, it's now L1 again.