DAML (Digital Asset Modeling Language), a US-based blockchain startup and a major smart contact language designed for building...