Rename PropertyDefinition by PropertyDef