A few more fixes.
Experiment with algebras and attribute evaluation, the Oberon0 test
case: it seems to work!