Ohad doesn't miss much when it comes to his design
tau is far more advanced and technical than I've given it credit for
a decidable, self defining logical TML is not easy, it'll take someone like me years to even understand that something like this has provable pspace maximum expressiveness

The guy is a super genius. Keep an eye on the github updates and do check out the explanatory blog of Ohad's http://www.idni.org/blog/the-new-tau