Disambiguate a type specifier.
(dimb-tyspec tyspec table) → (mv erp new-tyspec new-table)
A type specifier may affect the disambiguation table, by adding identifiers to it. Thus, this function returns not only a disambiguated type specifier, but also a possibly updated table.
The only type specifier that affect the disambiguation table is an enumeration specifiers, which extends the table with information about the enumeration constants it introduces. This is actually done by a separate function, the one that processes the enumerators.
Note that the disambiguation table contains no information about the structure, union, and enumeration tags: so we do need to extend the table when we encounter the corresponding type specifiers. Members or structures and unions also do not affect the disambiguation table, since the table contains no information about any of them.
If we encounter a