Better diagnostics for non-applicable type annotations

Currently the only diagnostic which indicates that a type annotation cannot be applied to a given piece of syntax reads "cannot annotate scoping construct". This is unclear and in some cases, outright misleading (particularly for annotations on .class expressions). There ought to be better diagnostics.