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.