In untyped-debugger-lang.txt, returned to a sum type rather than condition tags. This way dynamic errors don't need to generate fresh names for their error condition, so we don't need to thread Uniqueness through everything.