Use `for` to introduce universal quantification

[Pretty][Pretty]

[Pretty]: https://github.com/glaebhoerl/rfcs/blob/universal-quantification-with-for/active/0000-universal-quantification-with-for.md