>> How would I implement the operator_plus_exists class?I am working on adding such traits for comparison operators
>
> Such a traits have been added to type_traits, check the trunk or the vault.
(operator<, operator>...) You can have a look at a working draft here:
https://svn.boost.org/trac/boost/browser/sandbox/type_traits
Look at is_less_comparable.hpp