Convert to new diagnostics

In-compiler extensions use the new diagnostics codes, but procedural macros
may stil raise errors without using codes.

Lint modes still do not use codes (why?).