prov-dc: datatypes (1)