Да, но реализована она может быть сильно по разному и предоставлять или не предоставлять разное специальное API. Для общего случая надо писать явно.
Рифат любит недосказанность. Оберон-07 выходит из того, что базовая запись расширима по умолчанию.