Rethink PTHL and TC-1 sections to account for Tigrou

Several important pieces of TC are presented in the PTHL Compiler Stage, and should maybe be moved to TC-1 or else.