Fix #2116

- Exp.cls_of_term shows cls of underlying expression if projector
- Cursor inspector still shows projector info on left side

Author: 7h3kk1d

src/language/term/Exp.re

@@ -75,7 +75,7 @@ let rep_id: t => Id.t = IdTagged.rep_id;
 let term_of: t => term = IdTagged.term_of;
 let unwrap: t => (term, term => t) = IdTagged.unwrap;
 
-let cls_of_term: type a. Grammar.exp_term(a) => cls =
+let rec cls_of_term: type a. Grammar.exp_term(a) => cls =
   fun
   | Invalid(_) => Invalid
   | EmptyHole => EmptyHole
@@ -116,7 +116,7 @@ let cls_of_term: type a. Grammar.exp_term(a) => cls =
   | Filter(_) => Filter
   | Closure(_) => Closure
   | Parens(_) => Parens
-  | Projector(_) => Projector
+  | Projector(_, e) => cls_of_term(e.term)
   | Cons(_) => Cons
   | ListConcat(_) => ListConcat
   | UnOp(op, _) => UnOp(op)