Add binary operator predicate macro to Metaprogramming header