Switch effect/expr categorizations to tri-state skip.
Switch simplification code to tri-state skipArg.
Switch lambdaForm optimization to tri-state skipArg.
Fix projection bug for move application.