Имеете ввиду, что "псевдоним" - это синоним "синонима"? Синонимы лишь похожи по смыслу, но, как правило, не тождественны. Так и тут, вводя подтип мы сообщаем, что это почти то же самое кроме ещё кое-чего, но в Oberon такого нет. Связывание же с именем не делает ничего, кроме связывания с именем, сколько бы этих имён не было. "Разница тонкая, но существенная".

А в Компонентном Паскале есть даже специальное пояснение
> -- Цитата:
> Одинаковые типы [Same types]Две переменные a и b с типами Ta и Tb имеют одинаковый тип, если1. Ta и Tb оба обозначены одним и тем же идентификатором типа, или2. , или3. a и b появляются в одном списке идентификаторов в описании переменных, полей записи или формальных параметров.