Spedn - smart contracts language for Electronic Cash