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