[Oberon] Functional programming and Oberon