union_type

union_type 
      ::= "union" identifier "switch" "(" switch_type_spec ")" 
      "{" switch_body "}" 

This rule is called by

-> constr_type_spec
-> type_dcl