problem.hh: improve doc for constructors.
[cmake] Synchronize.