Would a dumber (not a Turing complete) language would make smart contracts smarter (easily verifiable)? We talk about total functional languages and alternatives to accounts-based model. Should we look at the blockchain as a pure data store, possibly equipped with primitives such as map/reduce or similar?