"Thesis: the only things you want in a blockchain language are tools to update distributed state. Everything else should be outside."