Normalisation by evaluation for the computational lambda calculus +
sums factored through handlers.
Merge branch 'master' of github.com:slindley/effect-handlers