Demonstrate arbitrary qualifier locations
Find sugared annotations

For example, you can now use qualifiers in typedefs and they work as expected.
Pointer type compatibility
Remove copypasta by templating

Let the compiler copy & paste for us! :D
Use __builtin_annotation for endorsements
Shift to explicit AddAnnotation rather than return
Make endorsements actually do their thing

Via RemoveAnnotation(), which may not actually be necessary.
Tainting: Do not taint control flow