Update TC-1 and TC-2
With the recent choice of shipping parts of the grammar and dealing with all the grammar during TC-1, we need to transfer a lot of things from TC-2 to TC-1, and give explanations about the newly given code.
With the recent choice of shipping parts of the grammar and dealing with all the grammar during TC-1, we need to transfer a lot of things from TC-2 to TC-1, and give explanations about the newly given code.