Corrected type calculation.

--- a/src/Tools/Code/code_thingol.ML	Wed Sep 13 17:08:55 2023 +0000
+++ b/src/Tools/Code/code_thingol.ML	Thu Sep 14 05:24:30 2023 +0000
@@ -283,7 +283,7 @@
   let
     val given = length ts;
     val delta = wanted - given;
-    val (_, rty) = unfold_fun_n wanted range;
+    val rty = drop wanted dom `--> range;
   in
     if delta = 0 then
       (([], (ts, rty)), [])