DAML Language: Key Features