Fix: Allow multiple annotations with same name

This fix goes in tandem with a change in Core, which passes annotations
in a single 'low-level' annotation to the AST consumer, making it
possible to have multiple annotations of the same name. Also fixes
(previously unknown) issues with different annotations having the same
value.