The idea of user-readable contracts is interesting, but I will have to read more deeply to see if that has actually been achieved (I've seen lots of user-readable stuff that gets very complex as soon as it becomes non-trivial).

Good point. The bots/smart contracts I have seen done on Byteball thus far have been pretty trivial, so maybe it's a bit early to claim that it's a functional readable smart contract platform.

I'm looking forward to seeing what you have in mind (if you find the time)!