DAML Language: Future Work