Tighten up effect types on modifyScope and modifyThis

Fix #19.  Since these run immediately, there is no need to expose the
unsafeInterleaveEff.