TypeSpecifier

TypeSpecifier[cons]

TypeSpecifier[cons][type1, …]or cons ::[type1, …]