Isolate cheat in next_symbol thm to the word8 case
Proved the cheat and fix up the theorems