> -- Trurl писал(а):
> Но стаким описанием можно ожидать, что будет работать и  SYSTEM.TYP(REAL)

Нельзя, потому что уточнено в 4 столбике:

TYP(T)   type name   INTEGER   type tag of record type T

Если написать квалидент - это подразумевает обязательно указание имени модуля, не?