veritas: Don't use forall as binding name

As it is now a keyword.

real/veritas/Kernel.hs

@@ -384,7 +384,7 @@ constructor (SG sg) i j k
 {- Datatype elimination -}
 
 recurse tmL (TM (tm@(Binder Pi (Symbol_dec tm1 _) _ _ _)) _ sg)
-	= if forall ok (zip tmL tyL)
+	= if vforall ok (zip tmL tyL)
 	       then
 		   TM (Recurse (map fst tmL) tm [] []) tm sg
 	       else
@@ -570,7 +570,7 @@ def (TM tm1 tm2 sg)
 
 
 make_data tmLL (TH tm sg)
-	= if forall (forall (wf_param sg1)) tmLL
+	= if vforall (vforall (wf_param sg1)) tmLL
 		then
 		   if exists (eq_trm tm) non_empty_thms
 		      then