Definitions and implementations of cryptocurrencies in Openclerk