Remove the parameters gamma of the type checker
Remove the separation between gammaT and gammaK (which shouldn't be separated)