PropertyDefinition :: typed - Does property refer to a fixed data type?

A property is considered as typed, when it has got a fixed type, i.e. it is nor weak-typed or untyped. Properties, which do not define collections are typed, always.

The property return true , when it is typed and false otherwise.

When the function is called with an invalid property definition, it throws an exception.