Add forward-cursor and back-cursor, and maybe we can embed a Turing machine in a string.