Fix (extraneous) command dumping.
Fixes to theoryof-mode; no longer static in Theory class.