* Add a call/cc sample

* minor refactorings

* use continuations in NonDet sample

* add implicit operator for converting Effects to Eff

* add comments

* simplify continuation evaluation code

* add more comments

* fix docs issues

* simplify maybe sample

* add comments