fix: minor issues with dynamic properties

[mosteo]

I identified these deficiencies while reviewing #1881:

• We weren't preventing case expressions for properties that shouldn't allow them.
• We were checking cardinality of properties only for a subset of properties (those implemented as 'labeled').
• Export of the new [test] property would fail if containing dynamic expressions.

PR creation checklist

• A test is included, if required by the changes.

[mosteo]

Addressed review by @AldanTanneo