Hi! I realise how out of the loob I have been and will be sure to dive into this prototype as soon as my university workload decreases a little (I am on the last stretch this year).
In the meantime, I quickly wrote up a quick paragraph on
how guards could look like for the KEEP. I have not formally included it in the proposal and would love some of your feedback. In particular, it would allow chaining predicates and hopefully still compose guards by composing functions.