This is half-finished, mostly marking outdated pieces of haddock related to exactprint annotations.
Not sure what to update them to, so I could use some input from @alanz to finish this update.
Alan's feedback has been incorporated, Annotation haddocks updated.