problem.hxx: add more compile-time asserts for constraint types.