bug fix in French verbs

lib/resource/english/CategoriesEng.gf

@@ -38,7 +38,7 @@ lincat
   N2     = Function ;
       -- = CommNounPhrase ** {s2 : Preposition} ;
   N3     = Function ** {s3 : Preposition} ;
-  Num    = {s : Case => Str} ;
+  Num    = {s : Case => Str ; n : Number} ;
   Prep   = {s : Str} ;
 
   A      = Adjective ; 

lib/resource/english/NumeralsEng.gf

@@ -28,4 +28,4 @@ lin pot2as3 n = n ;
 lin pot3 n = {s = n.s ++ "thousand"} ;
 lin pot3plus n m = {s = n.s ++ "thousand" ++ m.s} ;
 
-}
+}

lib/resource/french/BeschFre.gf

@@ -1,13 +1,12 @@
 resource BeschFre = open Prelude, TypesFre, MorphoFre in {
 
-oper VerbeN = {s : VForm => Str} ;
-oper mkNV : Verbe -> VerbeN = \ve -> 
-  {s = ve} ;
+oper VerbeN = {s : VF => Str} ;
+oper mkNV : Verbe -> VerbeN = \ve -> {s = vvf ve} ;
 
 oper conj : Str -> Verbe = conj1aimer ;  --- temp. default
 
 oper v_nancy100inf : Str -> VerbeN = \ve -> {s = table {
-  Inf => ve ;
+  VInfin => ve ;
   _ => nonExist
   }
 } ;

lib/resource/french/TypesFre.gf

@@ -141,7 +141,9 @@ oper
 
 -- Verbs: conversion from full verbs to present-tense verbs.
 
-  verbPres = \aller,a -> {s = table { 
+  verbPres = \aller,a -> {s = vvf aller ; aux = a} ;
+
+  vvf : (VForm => Str) -> (VF => Str) = \aller -> table { 
     VInfin       => aller ! Inf ;
     VFin (VPres   Ind) n p => aller ! Indic Pres n p ; 
     VFin (VPres   Sub) n p => aller ! Subjo SPres n p ;
@@ -153,8 +155,6 @@ oper
     VImper np    => aller ! Imper np ;
     VPart g n    => aller ! Part (PPasse g n)
     } ;
-  aux = a
-  } ;
 
 -- The full conjunction is a table on $VForm$:
 

lib/resource/french/VerbsFre.gf

@@ -7,6 +7,8 @@
 concrete VerbsFre of VerbsFreAbs = 
   open TypesFre, MorphoFre, CategoriesFre, BeschFre in {
 
+  flags optimize=values ;
+
 lincat
   V  = CategoriesFre.V ;
   V2 = CategoriesFre.V2 ;

lib/resource/romance/ClauseRomance.gf

@@ -3,7 +3,7 @@
 incomplete concrete ClauseRomance of Clause = CategoriesRomance ** 
   open Prelude, SyntaxRomance in {
 
-  flags optimize=all ;
+  flags optimize=all ; --- parametrize much worse, 15/2
 
   lin
   SPredV np v = predVerbClause np v (complVerb v) ;