Exposing A Customizable, Decentralized Cryptoeconomy as a Data Type