Bamboo: a morphing smart contract language - View it on GitHub