Also, should we use initialize_vars() [and hence the "declaration" rule] for annotations? For that matter, can you put typedefs/structs in annotations?
Also, the redefinition error in 2/7 still uses "Variable" where we had changed the similar cases to "Identifier".