Attributes in language like Java and C# is of great benefit. It is possible
to consider adding this.
This can also further used as meas to have type system extension there by
you capture effects.
Perhaps you can make the attributes flexible whereby you can specify
associativity and whether or not a special character like @ is needed in
front of it. This way some keywords can become attributes.
Also this can be a useful when using meta programming.