add parentheses around universally quantified terms

[mraszyk]

This PR makes parsing the universally quantified terms unambiguous by adding explicit parentheses.

[netlify[bot]]

✅ Deploy Preview for ic-interface-spec ready!

Name	Link
🔨 Latest commit	d873284d8c46023bed8c509029028cb95fcf5c22
🔍 Latest deploy log	https://app.netlify.com/sites/ic-interface-spec/deploys/64a57b2204995a0008862fed
😎 Deploy Preview	https://deploy-preview-177--ic-interface-spec.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.

[andrew-lee-work]

LGTM, thanks