Не согласен, что добавляет именно ABSTRACT, -- или не понял аргумента.

Оставить EXTENSIBLE для использования внутри модуля, запретив экспорт типов с этим атрибутом, -- лучше, чем оставлять как есть, но сложнее, чем вовсе убрать.