По поводу перевода заголовков на Оберон... Что-то должно быть, но у меня об этом информации нет.

По поводу компилятора ББ - его объектный формат точно не подойдет для DDK, он нестандартный. Именно поэтому я сразу упомянул про другие реализации Оберона.

По поводу трансляции на Си - преимущества Оберона проявятся в той самой надежности при написании кода, о которой Вы сами упомянули, как о важном факторе. Ведь транслятор не вносит опечатков и не может забыть вызвать dispose...