The main difference is that I need more fine-grained hooks; it could be done but would require refactorings in Namers/Typers which go way beyond what I did now (see e.g. invocations of `pluginsTypeSig` or `pluginsTyped`).

But yes, things go into a similar direction. Another axis is macro annotations where we want to be able to do similar things (change types for symbols) - I'll talk to Eugene about this. I'm not worried because analyzer plugins are quite well delimited, and only exploring the different requirements will help us find convergence eventually.