Base to Session.Base
Checking guardedness only in continuation.
No small functors and no acknowledgements for now.