Процедурные типы - это, банально, избыточное средство при наличии связанных процедур. При этом в сравнении с ними оно более низкоуровневое и это единственное средство, опирающееся на структурную, а не именную совместимость по типам. Чистое наследие для большей совместимости. Если же рассматривать язык исключительно счистого листа, то никакой необходимости в процедурных типах в Компонентном Паскале нет.