we are working on the MVP, getting there, this wasn't supposed to blow up yet, don't want to give any wrong impressions.

currently a lot of our efforts are going into a core component of statebox, https://github.com/typedefs it is library similar to protocol buffers, but it fits well with proof assistants / functional languages / category theory