Constraints implementation needs to be aligned with v1.5.1
The Matching data type constraint is updated for extension / inheritance (type conformance):
inv: ParameterBindingTypes:
self.dataUse.resolveDataType().conformsTo(self.parameter.dataType)
The implementation still relies on exact type matching:
check: self.dataUse.getDataType() = self.parameter.dataType