I'm currently experimenting with rewriting the way domains are described in Sekiban, Event Sourcing and CQRS Framework, to be simpler and more flexible. I've been writing a variety of verification code for this. Over the past two and a half years, I'...