Highlight language annotations in Eclipse style

We can’t generally recognize annotations – this requires parsing, which
is way too complex for a syntax highlighter – but we can highlight the
language annotations (Spec 7.4) by hard-coding their names and hoping
that they’re not import aliased, and that no other variables with this
name are used.