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