Disambiguate a structure declarator.
(dimb-structdeclor structdeclor table) → (mv erp new-structdeclor new-table)
Recall that the disambiguation table does not keep track of structure and union members. This is why we ignore the identifier, if any, returned from disambiguating the optional declarator.