Investigate name errors in `classic/distributed/TwoPhaseCommit/two_phase_commit_modules.qnt`

Two different kinds of name errors have been triggered by this exercise in factoring a spec into several modules

- ef6a7fb
- 65b1883

After investigating, these may be factored out into two specific sub-issues.