something like https://blockstream.com/simplicity.pdf ?
Guaranteed finality on each contract execution so we could avoid things like gas fees to run contracts… nodes which run the code can set arbitrary execution times of them on their own system… much like setting your own vault size…