Promise Objects and Coroutine Returns

Define the promise type required to control the behavior of a coroutine at each step.