Is turing incompleteness such a good thing? Does it limit the type of projects that might run on the blockchain?