Fix #2685: two Bool arguments to tidyTypeEnv were the wrong way around