Remove old type constraint on ComplexTask.now
Simplify implementation of lift
Add multiple flavors of lift

- Fix broken tests involving lift (already broken)
- add map over accumulations