What properties must an enterprise smart contract language have? | Dark Hacker News