First somewhat usable version.

It is possible to create a new notebook, but evaluating
expressions from it leads to strange error messages.

Checkpointing is not implemented yet, which is why
attempts at saving a notebook fail.