Actually fix symHasMove bit inclusion.
Generalize any effect-environment carrying monad.
Generalize queries to EffectMonad.
Add toggle queries.
Move lambda optimization to bottom-up monadic style.
Fix stages to work with monadic lambda optimization.
Update definition of doesWriteOn to handle move bit.