turn tup{2,3,4,5}Tc into CAFs; bugfix courtesy of Joost Visser
turn tup{2,3,4,5}Tc into CAFs; bugfix courtesy of Joost Visser
FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs