То есть в Обероне-07, в отличие от Оберона-2,  ORD(set) работает, преобразовывает SET в INTEGER. А наоборот, получается, нельзя. Несимметрично как-то.

Да, попробуйте SYSTEM.VAL(SET, int) — обычный способ для Оберона-2.