Promises #102
Description
Extend the language of workflows with promises, that is channels of communication between different parts of the same workflow.
Promises have to play well with cancellation: discarding the promised value before completion must propagate to and cancel the action that would complete the promise.