Parse a type name.
(parse-type-name pstate) → (mv erp tyname span new-pstate)
A type name always starts with one or more specifiers and qualifiers, which may be followed by an abstract declarator. We parse the specifier and qualifier list, and then we parse the abstract declarator if present.