Correct Theanos's tutorial: add cross-references, correct some more typos, improve style a little, correct the logical structure some more