Assorted cleanup, development.

Several different things here:
-- banishment of truth-value factory
-- Move duplicated shell server code into a common base class
-- finish work on language-observing code.