In the TemplateParameter production, Symbol is not listed as one of the valid parameter forms, though it is mentioned in the text below. The text only offers a recursive definition: any non-local symbol
TemplateAliasParameters are for symbols.