Refactor the names of state objects in the command-line shell implementation..
Minor changes to do with the Tcl tea extension package autoconf system.