Sneak preview: refactor error/warning reporting

Using the PR validator to check I didn't break sbt/IDE. Feedback welcome, but I'll probably hold off a bit on this.
Kind of like `freshName`, we need `freshNameForRefactor`, which would generate `supplementErrorMessage$adriaanm$3820$1`.