Кажется, CP не позволяет делатьявноепреобразование любого типа в любой другой, совпадающий с ним по размеру?
Например, запись одного типа в запись другого, но совместимого с первым по размеру занимаемой памяти;
или массив слов в массив байт, и наоборот?

Что Оберон-сообщество думает о таких возможностях языка?