Analyzer Plugins

Resubmission of #2005, incorporated the points discussed:

- `debuglog` and more documentation about function types with refinements in UnCurry
  - new: removed an unnecessary `if` in UnCurry
- `AnnotationCheckers` are source compatible with the way they were before. I checked that this works by running the un-modified version of the continuations plugin.
- Removed the hook into `SymbolTable.phase_=`
- Word-Wrapped commit comments
- Fixed Typos