then renamed to next. Added then taking a continuation having a expected as parameter. Added binders to continuations.