a compiler compiler... I think the name needs some work! :P
So developers will be able to create their own language to work with Tauchain. Fixed point logic is built into the base language of TML, which gives developers more flexibility in the languages they are building on top of tauchain? And Tauchain will be a database type similar to contemporary blockchains but will be able to perform differently because of the FPL? Or is it just that the FPL enables new types of languages which would have been too difficult to write in the past?

It's definitely above my head, but i'd like to understand more. Not sure i could really understand it without 8 more years of school!

Will definitely be watching this project closely though, and maybe as i read more about it i'll start to grasp more of the pieces. Thanks for the updates.