Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}
#6241
| Job | Run time |
|---|---|
| 40m 49s | |
| 39m 20s | |
| 44m 31s | |
| 47m 51s | |
| 2h 52m 31s |