insertEffects: final touches to make rsfull compile
insertEffects: final touches to make rsfull compile

We need to substitute early and often, or the symbol/effect tree gets
too big

DaMSL/K3,DaMSL/K3,yliu120/K3