Rename "union" semantics to "typeset".