sum quantifier; + operator for types resolves to UNION