I fully support your question. The union construct is very useful in describing things likeOriginally posted in cdnusers.org by boonstrj
software views and OSI stack models. Without union this requires a lot of type casting,
losing type-checking features (from experience :-( ).
I understand it may be a difficult construct to implement in the tool chain since it involves
changes in many tools: from simulation to formal verification.
Still I'm sort of disappointed no one from Cadence has responded to your request/question...
(at least not in the forum)