[Boost-users] [Proto] Reducing domain check in operator

Actually, Proto defiens operators that STATIC_ASSERT when the left and right operand domain types are no the same using is_same. How could I have those check be looser than is_same ? Should I just overload boost::is_same for my domain type and perform a proper test here or is there a way to incorporate this into Proto ? Thanks in advance