Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}
#6244
| Job | Run time |
|---|---|
| 29m 18s | |
| 13m 14s | |
| 14m 18s | |
| 16m 23s | |
| 1h 13m 13s |