Fix module_unpack to allow type annotation on call expressions (#270)

Adds optional `module_type_annotation` after `call_expression` inside
`module_unpack`, so `unpack(make(): T)` parses correctly.

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: aspeddro

grammar.js

@@ -205,7 +205,7 @@ module.exports = grammar({
             ),
             optional($.module_type_annotation),
           ),
-          $.call_expression,
+          seq($.call_expression, optional($.module_type_annotation)),
           $.extension_expression,
         ),
         ")",

src/grammar.json

@@ -253,6 +253,10 @@ module S = unpack(Mod.read(v))
 
 module S = unpack(%extension(payload))
 
+module T2 = unpack(make(): T)
+
+module T3 = unpack(make(): T with type t = int)
+
 --------------------------------------------------------------------------------
 
 (source_file
@@ -319,7 +323,29 @@ module S = unpack(%extension(payload))
         (extension_expression
           (extension_identifier)
           (expression_statement
-            (value_identifier)))))))
+            (value_identifier))))))
+  (module_declaration
+    (module_binding
+      (module_identifier)
+      (module_unpack
+        (call_expression
+          (value_identifier)
+          (arguments))
+        (module_type_annotation
+          (module_identifier)))))
+  (module_declaration
+    (module_binding
+      (module_identifier)
+      (module_unpack
+        (call_expression
+          (value_identifier)
+          (arguments))
+        (module_type_annotation
+          (module_type_constraint
+            (module_identifier)
+            (constrain_type
+              (type_identifier)
+              (type_identifier))))))))
 
 ================================================================================
 Functor definition