Мне кажется, про ненулевые записи - неверно. (Если, конечно, под нулевыми вы подразумеваете записи без полей).
TYPE
A = ABSTRACT RECORD END;
L = LIMITED RECORD END;
E = EXTENSIBLE RECORD END;
T = RECORD END;

Все это корректные высказывания КП.