Fix a bunch of C++11 deprecation warnings
Note: The removal of binary_operator is OK, because only std::not2 requires it. Otherwise, it acheives nothing.
Note: The removal of binary_operator is OK, because only std::not2 requires it. Otherwise, it acheives nothing.