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.
this should probably not be here. Looks like something superseded by Ian's work.