Fix bug in type system turing machine

We were creating a LeftStackHead for the right stack… that wasn’t
well-typed.
Document type system Turing machine