Union Type

union-type ::= primary-type ('or' primary-type)*