rename TS and TC to Alpha and Gamma, reflecting their handling of variables and contexts, respectively
complete renaming