Changed vocabulary of ContextConstraint reporting to be able to bind together type and instance information for the violating ContextAssertions; Added the IntegrityConstraintViolation option.