In untyped-debugger-lang.txt, described higher-order dynamic type errors.
In untyped-debugger-lang.txt, removed the obsolete `reifySumTags` and fixed `distribute` so it didn't implicitly transport information between stages (and unrelated stages, at that).