DiagnosticIDs: use diagnostic severities to simplify extension handling