In untyped-debugger-lang.txt, removed monitors and lexically restricted demanders to avoid deadlock. Querying a monitor to determine what demand to impose would have caused deadlock.
In bunched-linear-cos.txt, tried to start over with just bunched logic, linear additive connectives, involutive negation, and some explicit proof types that may bring sanity to the involutive negation someday. It's a mess.