Ярослав, а что мешает заложить NULL в тип?

Т.е. определять тип с явным указанием, что он может быть NULL.
Причем в этом случае язык не должен допускать разыменования без проверки.
На NULL ведь можно смотреть как на обычный тип.
Допустим у нас есть указатель, который может в рантайме иметь
разные типы. Например, типов два [POINTER TO Rec] и [NULL].
Тогда обращение дожно быть через WITH.

зы Вспышки на солнце чтоль:http://oberspace.dyndns.org/index.php/t ... l#msg21657
