Attribute evaluation with F-algebras: more generic (attribute
grammar like) formulation of the Oberon0 test case.