[P2461R0](https://wg21.link/p2461r0) Closure-based Syntax for Contracts (Gašper Ažman, Caleb Sunstrum, Bronek Kozicki)