In ParameterBinding, the constraint for compatible type does not consider potential reduction: ``` inv ParameterBindingTypes ('The provided \'DataUse\' shall conform to the \'DataType\' of the referenced \'Parameter\'.' + self.toString()): self.dataUse.resolveDataType().conformsTo(self.parameter.dataType) ``` It should use `resolveParameterType()` instead.