Make an Execution[T] type, which is a monad, which makes composing Jobs easy.

This does sound reasonably like the twitter Future model of a fall back scheduler, it might be nice to avoid that pattern. But we may want a default execution context..implicit global maybe not ideal however? Thoughts?