Hi Peter,

Thank you for this work! I will read into it with more effort later, but
for now I only noticed a typo in the Rationale section:

> condition types were inspectable could be subtyped

Thanks,
--
Artyom Bologov
https://aartaka.me