Proposal: `not` should not be an operator

Currently, `not` is not a function, but is an operator. We can write `not f x` instead of `not (f x)`. There would, however, seem to be almost no code utilizing this fact. To simplify the syntax, how about turning `not` into an usual function?