initial version of inserting effects
effects: work so far
effects: fixes
effects: removed case from scope

Case is like an IfThenElse with an extra conditional bind. It doesn't
help to track it.
effects: more fixes
effects: work on inserteffects