Add second type parameter to ComplexTask. Rename PlanStep => ComplexTask.
Remove calls to sequence because ComplexTask is no longer a Monad :(
dedup E list from run
Fix old type constraints. Fix seq3. Improve seq2 to return all available Es.
compile tests