:load expl/Examples.hs
:set +accum
:set +simplify
:generalise incr
:test incr on "incr [S (S Z), Z, S (S (S Z))]"
:quit
