Adding syntax for annotations on declarations

[natefaubion]

@safareli

using annotations like this means you can’t add annotation to a module (deprecation of whole module for example).

I’m confident we can come up with a way of adding module level annotations. You can do this in C# with attribute targets, and in Rust with inner attributes.