\[~jeanchristophe.collet] "and when property values set at type definition are checked" is not clear to me. Would it be fair to reword to something like:
____
inside conditions that test the object type, either with ``++.kind++`` or ``++instanceof++``
