JS rendering for workflow using Executors and Monad stacks

Looking for feedback/help with this.

It's pretty much there, minus a couple of things:
1. Need an implementation of `fail` in `JSExecutor`, probably by adding `EitherT` to the stack. I gave that a couple of tries and got stuck. Could use some help, assuming you agree on that approach, @jdegoes.
2. `JSExecutor` is not fully implemented for `MapReduce`. I'm working on it.
3. The types got pretty ugly in here and I could really use some help restoring some sanity. I'm hoping there are simpler ways to write some of these, or else maybe it just makes sense to go all in on the type lambdas.

I'll add some notes to the code where I have specific questions.

Any other comments welcomed.
I just want to constrain F to have a Monad, and didn't know a better way to do that when F was a parameter on the trait. I'll put the implicit on the specific methods that require it (which is probably just one at this point). I guess the difference is just where the compiler will report the error when the Monad isn't available?