Find nice syntax for our "CPS" WP specifications
It would be nice to have "something" that makes our specs more readable to someone not familiar with our "CPS" style of writing specs with an arbitrary postcondition (Φ).
I believe @janno has been working on something like that... what was the status of that again?