Moving to strict Oberon