In untyped-debugger-lang.txt, removed the effects from the grammar, since they're enforced by linearity.