Remove unnecessary code given change to s-expressions as theory data The implementation of DiskThms is now dramatically simpler.
Fix p/printers and selftests to agree with one another again
Change src/bool to src/1 as a prelude to experimentation!