Тогда, вроде бы, логично распространить эту идею на операцию IS.
Но мысль о том, что выражение## Код:
```
(ptr IS Subtype1) & (ptr IS Subtype2) (* Subtype1 и Subtype2 -- два несовместимых подтипа *)
```
может оказаться "верным", мне что-то не нравится.