Suppress arity errors in elaborator

hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala

@@ -508,7 +508,9 @@ extends Importer:
       case (S(defn: TermDefinition), inner, argLists) =>
         log(s"Elab module method definition w/ type information ${defn}.")
         val emptyTreeApp = new Tree.App(Tree.Empty(), Tree.Empty())        
-        // Zips a module method application term along with its parameter lists.
+        // Zips a module method application term along with its parameter lists,
+        // inserting any missing contextual argument lists.
+        // 
         // Example:
         // fun f(...)(using ...)()(using...)  // function definition
         // f()()  // function application
@@ -522,12 +524,13 @@ extends Importer:
               log(s"Inserted missing contextual argument list: ${args}")
               Term.App(zip(t, pRest), args)(emptyTreeApp, FlowSymbol("‹app-res›"))
             case (t @ Term.App(lhs, rhs), params :: pRest) =>
-              // TODO: Perform argument checks here.
               Term.App(zip(lhs, pRest), rhs)(t.tree, t.resSym)
-            case (_, params :: pRest) =>
-              // TODO: Fail silently and perform the checks in the implicit resolver.
-              raise(ErrorReport(msg"Argument arity do not match the method signature." -> t.toLoc :: Nil))
-              Term.Error
+            case (t, params :: pRest) =>
+              // LHS is not a app but it still expects more param lists - a partial application.
+              // TODO: Don't fail here. Perform if it is legal in the implicit resolver.
+              // raise(ErrorReport(msg"Argument arity do not match the method signature." -> t.toLoc :: Nil))
+              // Term.Error
+              t
             case (_, Nil) => t
         val newTerm = zip(t, defn.params.reverse)
         log(s"Zipped argument lists: ${newTerm}")