Replace kTSel back by TSel

The arity is now unused (since we dropped dependent typing). So we should go from:
```coq
  | kTSel n (p : path) l : ty (* type selections [p.A]; *)
```
to
```coq
  | TSel (p : path) l : ty (* type selections [p.A]; *)
```