Add flag to constraint indicating special types
To remember that the constraint is e.g. a cardinality constraint or any other possible special type, probably as a property, that could already set by advanced users or automatically calculated
To remember that the constraint is e.g. a cardinality constraint or any other possible special type, probably as a property, that could already set by advanced users or automatically calculated