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