break up main annotation function into small pieces (#405)

Mechanistic refactoring of the annotation code from a single straight-shot function into a collection of smaller individual pieces. The only non-trivial changes to code were untangling the use of std::mem::swap left over from when the internal annotation types were tuples instead of structs.