Revert unnecessary changes

Author: 7h3kk1d

src/haz3lcore/lang/MakeTerm.re

@@ -721,7 +721,7 @@ and typ_term: unsorted => (Typ.term, list(Id.t)) = {
   fun
   | Op(tiles) as tm =>
     switch (tiles) {
-    | ([(id, tile)], []) =>
+    | ([(_id, tile)], []) =>
       ret(
         switch (tile) {
         | ([t], []) when Token.is_empty_tuple(t) => Prod([])
@@ -737,10 +737,6 @@ and typ_term: unsorted => (Typ.term, list(Id.t)) = {
         | ([t], []) when Token.is_quoted_label(t) =>
           Label(Token.sub(t, 1, Token.length(t) - 2))
         | (["(", ")"], [Typ(body)]) => Parens(body)
-        // TODO
-        // | (label, [Typ(body)]) when is_probe_wrap(label) =>
-        //   let should = should_instrument(id);
-        //   should ? Probe(body, Probe.empty) : body.term;
         | (["PROJ_WRAP", "PROJ_WRAP"], [Typ(body)]) => body.term
         | (["[", "]"], [Typ(body)]) => List(body)
         | ([t], []) when is_hole_label(t) => hole(tm)

src/haz3lcore/pretty/ExpToSegment.re

@@ -190,7 +190,7 @@ let external_precedence_pat = (dp: Pat.t) =>
   | MultiHole(_) => Precedence.min
   };
 
-let rec external_precedence_typ = (tp: Typ.t) =>
+let external_precedence_typ = (tp: Typ.t) =>
   switch (Typ.term_of(tp)) {
   // Indivisible forms never need parentheses around them
   | Unknown(Hole(Invalid(_)))