CoMingle: Decentralized Mobile Programming Language