problem.hxx: more BOOST_MPL_ASSERT_MSG fixes.