In untyped-debugger-lang.txt's tacit language, figured out a dynamic type error policy for future-stage values (and simplified its documentation notation), added `startRecording` for arrowized staged programming, and reworked (a + b) to be two separate values tagged with condition labels.
In untyped-debugger-lang.txt, described condition tags.