In untyped-debugger-lang.txt, elaborated on higher-order dynamic type errors, and centralized that policy.