insertEffects: mostly moved to environment based
insertEffects: fixes
insertEffects: fixed for TForall
insertEffects: fix parser and bugs
insertEffects: get rid of pass that only loops over envs. It never worked
insertEffects: delayed closure calculation
insertEffects: minor fixes
insertEffects: fixed big bug in mapSym/eff
insertEffects: another big fix
insertEffects: bugfix in updateSymbol
check in minimal memory blowup example. just run with effects
insertEffects: check for equality before assigning
insertEffects: change the way that we do substitutions so they're not all in-place
insertEffects: final touches to make rsfull compile

We need to substitute early and often, or the symbol/effect tree gets
too big
rsfull: change record input to tuple input