commest to start
Archive all the changes from the session and
add a pairing demo of Arith.

I have only a slight idea how to do this for typed Arith'
update for sandbox