Änderung der Hilfsfunktionen

bisher:

with_int :: Val -> ( Int -> Val ) -> Val
with_int v k = case v of
    ValInt i -> k i
    v -> ValErr "ValInt expected"

jetzt:

with_int :: Action Val 
  -> ( Int -> Action Val ) -> Action Val
with_int m k = m >>= \ v -> case v of ...

Hauptprogramm muß kaum geändert werden (!)