Add and make use of ConstraintError (ticket #17).