Diagnostics: Remove diagnostic-specific message types

All diagnostics should now be issued using methods which take a
diagnostic category. Accordingly, there is no need for message types
which overlap with specific diagnostic categories, so remove those.