Totally lost in mutual induction of *typ while working on TermProgress. Disconnected s/e issues.