Disambiguate an alignment specifier.
(dimb-align-spec alignspec table) → (mv erp new-alignspec new-table)
For an ambiguous alignment specifier, we disambiguate the underlying type name or expression, and then return one of the two kinds of unambiguous alignment specifiers.