Attributes and their meaning is scattered between the syntax and the compiler. We should unify these (and see which ones deserve first class representation in the AST now that we can change it).

Context: #7804 (comment)