Add operator section to user guide, Add std::ops operations to prelude, and add not() expr_fn#7732