Should @infix and @mixin be soft modifiers?

[sjrd]

I have split the discussion. Everything related to renaming @mixin is now in Renaming @mixin?. This thread is about the categorization of annotations/modifiers.