Этот недочёт относится также и к начальному Оберону, и к КП. Нигде явно не указано про сравнение записей.
Подразумевается, что каждое определение нового типа задаёт его уникальность. Соответсвенно, сравнение типов также основывается на этом.

(модератор) Дальнейшее обсуждение, касающееся сравнения записевых типов в КП, выделено:viewtopic.php?p=55187#p55187