No, they're redundancy either way because both sets of syntactic elements communicate to you. It'd be even better (in this way at least) if the compiler requir

No, they're redundancy either way because both sets of syntactic elements communicate to you. It'd be even better (in this way at least) if the compiler required they match, but you are also a parser.