[daml] Datatype Properties

Generated with OWLDoc