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.
Definitely we don't want a reimplementation of this monad here. I'd try using type synonyms and `implicitly` to diagnose the issue, also see #scalaz for help.