Work on a new Diagnostic abstraction to unify Errors and RequirementMessages