(Ara) Add proDrop function to the API

src/arabic/ParadigmsAra.gf

@@ -536,6 +536,8 @@ resource ParadigmsAra = open
       lock_NP = <>
     };
 
+  proDrop : NP -> NP = ResAra.proDrop ; -- Force a NP to lose its string, only contributing with its agreement.
+
   -- e.g. al-jamii3, 2a7ad
   regNP : Str -> Number -> NP = \word,n ->
     { s = \\c => fixShd word (dec1sg ! Def ! c) ;

src/arabic/ResAra.gf

@@ -1201,6 +1201,14 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
       a : Agr
       } ;
 
+    proDrop : NP -> NP = \np -> 
+      case np.a.isPron of {
+        True => np ** {s = \\_ => []};
+        _    => np
+      } ;
+
+    emptyNP : NP = {s = \\_ => [] ; a = {pgn = Per3 Masc Sg ; isPron = False}} ;
+
     IP : Type = {
       s : Bool -- different forms for "what is this" and "what do you do"
        => State => Case   -- because of PrepIP: e.g. "in which" chooses definite accusative