boost::proto::exops::(is_extension, default_domain)
BOOST_PROTO_DEFINE_OPERATORS (is_extension, default_domain);