Typescript English translations of Chinese texts. Some have been edited, others annotations 'to be discarded'.