diff --git a/src/arabic/ParadigmsAra.gf b/src/arabic/ParadigmsAra.gf
index 6bb80ea55..466c3378f 100644
--- a/src/arabic/ParadigmsAra.gf
+++ b/src/arabic/ParadigmsAra.gf
@@ -38,24 +38,24 @@ resource ParadigmsAra = open
 
   oper
 
-  Case : Type ; -- Argument to mkPrep
+  Case : PType ; -- Argument to mkPrep
   nom : Case ; -- Nominative
   acc : Case ; -- Accusative
   gen : Case ; -- Genitive
 
-  Gender : Type ; -- Argument to mkN and mkPN
+  Gender : PType ; -- Argument to mkN and mkPN
   masc : Gender ; -- Masculine
   fem : Gender ; -- Feminine
 
-  Number : Type ; -- Argument to mkConj ("NP and NP" plural; "NP or NP" singular), and special cases of mkN, where nominal attribute is included in the N.
+  Number : PType ; -- Argument to mkConj ("NP and NP" plural; "NP or NP" singular), and special cases of mkN, where nominal attribute is included in the N.
   sg : Number ; -- Singular
   pl : Number ; -- Plural
 
-  Species : Type ; -- Argument to mkN.
+  Species : PType ; -- Argument to mkN.
   hum : Species ;  -- Human nouns (teacher, woman, brother, …)
   nohum : Species ; -- Any other nouns (house, dog, …)
 
-  Vowel : Type ; -- Argument to mkV, when constructing verbs of Form I.
+  Vowel : PType ; -- Argument to mkV, when constructing verbs of Form I.
   va : Vowel ; -- a (fatha) as the perfect or imperfect vowel, e.g. فعَل
   vi : Vowel ; -- i (kasra) as the perfect or imperfect vowel, e.g  فعِل
   vu : Vowel ; -- u (damma) as the perfect or imperfect vowel, e.g. فعُل
diff --git a/src/arabic/ResAra.gf b/src/arabic/ResAra.gf
index 375dea650..48053e41b 100644
--- a/src/arabic/ResAra.gf
+++ b/src/arabic/ResAra.gf
@@ -341,7 +341,7 @@ oper
   -- e.g. some determiners act as adjectives modifying the noun they count
   -- 'the three children, two children'
   -- e.g. possesive pronouns: his book ('kitaabuhu'
-  cnB4det : Det -> Bool = \det ->
+  cnB4det : {isEmpty,isPron,isNum : Bool; n : Size; d : State} -> Bool = \det ->
     case <det.isEmpty,det.isPron,det.isNum,det.n,det.d> of {
       <True,_,_,_,_> => True; -- hack to make liPrep work
       <_,True,_,_,_> => True;