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.