Add the remaining odds and ends to Execution[T]

I think Execution is in a usable state, and the preferred way to write Library code that needs to do multistep operation.

Please review these last changes.
there is no reason for these first two to be in Future threads.