Changes to fine-grained effect prototype
Minor comments and pruning TODO
A small optimization for asyncAnd