a rewrite of symbolic dynamics discusison

check the diffs