Fix some bugs in the NBE example.

Do an alternative version that uses operations for the evaluator as
well as reify and reflect. This is interesting because the effects
inevitably leak into the environment of the evaluator making writing
an appropriate handler a bit subtle.