Refine verification rules for collectional properties

[01es]

Description

Verification of collectional properties needs to be refined. At present, the verification logic (strict mode) expects for collectional properties to have attribute IsProperty.linkProperty either identifiable or specified. However, this is only applicable to entity-typed collectional properties, and even then it is likely relevant only for persistent entities.

The current workaround is to explicitly specify some value for IsProperty.linkProperty when defining collectional properties that do not expect to have any link property.

This verification logic needs to be reevaluated and improve. The specific rules and the why behind them should be spelled out in this issue.

Change overview

Expected outcome

More practical verification of rules for collectional properties.