more type information;

--- a/src/Pure/Syntax/syntax_phases.ML	Sat Oct 19 17:00:14 2024 +0200
+++ b/src/Pure/Syntax/syntax_phases.ML	Sat Oct 19 17:16:16 2024 +0200
@@ -862,8 +862,8 @@
 
 (* type reflection *)
 
-fun type_tr' ctxt (Type ("itself", [T])) ts =
-      Term.list_comb (Syntax.const "_TYPE" $ term_of_typ ctxt T, ts)
+fun type_tr' ctxt (ty as Type ("itself", [T])) ts =
+      Term.list_comb (Const ("_TYPE", ty) $ term_of_typ ctxt T, ts)
   | type_tr' _ _ _ = raise Match;