Tighten up effect types on modifyScope and modifyThis

Fix #19.  Since these run immediately, there is no need to expose the
unsafeInterleaveEff.
Merge pull request #21 from dylex/master

Tighten up effect types on modifyScope and modifyThis