clarified make_type: proper make_name;

--- a/src/HOL/Import/import_rule.ML	Fri Jan 17 10:51:47 2025 +0100
+++ b/src/HOL/Import/import_rule.ML	Fri Jan 17 10:53:30 2025 +0100
@@ -302,7 +302,7 @@
     val d =
       (case Import_Data.get_typ_map thy c of
         SOME d => d
-      | NONE => Sign.full_name thy (Binding.name c))
+      | NONE => Sign.full_name thy (Binding.name (make_name c)))
   in Type (d, args) end
 
 fun make_const thy (c, ty) =