In untyped-debugger-lang.txt, removed most fresh-value-generating functionality, and settled on an even more centralized policy for dynamic type errors.