bool is not considered a is_mpi_logical_datatype

[LXYan2333]

Problem

when I write code to reduce a bool:

bool my_result = false;
bool reduced_result = boost::mpi::all_reduce(comm, my_result, logical_and<>());

I found that the std::logical_and<bool> is not considered a boost::mpi::is_mpi_op:

static_assert(boost::mpi::is_mpi_op<std::logical_and<bool>, bool>()); // Static assertion failed

further read the code I found that

static_assert(boost::mpi::is_mpi_datatype<bool>()); // OK
static_assert(boost::mpi::is_mpi_logical_datatype<bool>()); // Static assertion failed

this caused the boost::mpi to use a all_reduce_impl with (tiny) overhead.

[LXYan2333]

Expected behaviour

for bool and std::logical_and, the MPI_C_BOOL and MPI_LAND should be used in reduction, instead of using a all_reduce_impl that creats a new user_op.