Заглянул в старую (1992) книгу Вирта и Рейзера.
Там в конце авторы говорят об Обероне-2, указывают очевидные 2 достоинства type-bound процедур (автоматическая инициализация методов и экономия памяти), а в качествевозможногонедостатка называют то обстоятельство, что type-bound процедура (в т.ч. абстрактная) должна быть обязательно объявлена в том же модуле, что и её тип.
Любопытно.