Blockchain Languages