v0.2 2017-01-30 London

For sessions:

• use result package.
• adjust terminology, rename suspended computations from "negation" to "continuation"