better constraint failure reporting

18 files changed