add tc_to_string cases for word8 and word8array

(in the repl semantics of printing)
remove old references to printerTheory and ovs in intLang.lem