problem.hxx: add another test for boost::variant ambiguous conversions.

Test related to #26
problem.hxx: move Boost.MPL magic to detail.
problem.hxx: convert before copying vector of constraints.