concrete NDLiftFin of NDLift =
   RGLBaseFin - [Pol,Tense]
  ,NDPredFin 

    ** NDLiftFunctor with (Lift = LiftFin) ;