Mark commas in casts as part of the language, not the BNF notation

In the Addition Syntactic Specifications, both casts' commas are not within double quotes, leading student to believe they are BNF notations, not part of the Tiger language. They should be enclosed in double quotes.