Нет, дополнительные - это те, которые никогда не вызываются снаружи. Т.е. служебные, внутренние модуля реализации.
А "реализующие интерфейсные" - это те, которые в базовом абстрактном типе экспортированы, а в нашем скрытом - реализованы. Они ведь будут вызываться непосредственно снаружи модуля (через виртуальную таблицу), т.е. по сути, экспортированы (ещё в базовом типе); при их написании ориентируемся на контракт и т.п.

У Оминк где-то тоже видел такую фишку, но трудно понять - то ли это просто тип сначала был экспортирован, а потом скрыт, а убирать звёздочку у процедур не стали, то ли они тоже экспериментировали с таким стилем.

А разрешение метить звёздочкой элементы неэкспортированного владельца - это по стандарту языка. В КП/ББ это, к тому же, влияет на доступность через Meta.