Index: libcfa/src/math.trait.hfa
===================================================================
--- libcfa/src/math.trait.hfa	(revision 874b16e4ec3267372a00df991cebd1f190221b10)
+++ libcfa/src/math.trait.hfa	(revision 6a93e4d052f6947dc8a35ddde898652fa241e72f)
@@ -10,6 +10,6 @@
 // Created On       : Fri Jul 16 15:40:52 2021
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb  2 11:36:56 2023
-// Update Count     : 20
+// Last Modified On : Tue Jun  6 07:59:17 2023
+// Update Count     : 24
 // 
 
@@ -17,25 +17,25 @@
 
 forall( U )
-trait Not {
+trait not {
 	void ?{}( U &, zero_t );
 	int !?( U );
-}; // Not
+}; // not
 
-forall( T | Not( T ) )
-trait Equality {
+forall( T | not( T ) )
+trait equality {
 	int ?==?( T, T );
 	int ?!=?( T, T );
-}; // Equality
+}; // equality
 
-forall( U | Equality( U ) )
-trait Relational {
+forall( U | equality( U ) )
+trait relational {
 	int ?<?( U, U );
 	int ?<=?( U, U );
 	int ?>?( U, U );
 	int ?>=?( U, U );
-}; // Relational
+}; // relational
 
 forall ( T )
-trait Signed {
+trait Signed {	// must be capitalized, conflict with keyword signed
 	T +?( T );
 	T -?( T );
@@ -44,13 +44,13 @@
 
 forall( U | Signed( U ) )
-trait Additive {
+trait additive {
 	U ?+?( U, U );
 	U ?-?( U, U );
 	U ?+=?( U &, U );
 	U ?-=?( U &, U );
-}; // Additive
+}; // additive
 
-forall( T | Additive( T ) )
-trait Incdec {
+forall( T | additive( T ) )
+trait inc_dec {
 	void ?{}( T &, one_t );
 	// T ?++( T & );
@@ -58,17 +58,17 @@
 	// T ?--( T & );
 	// T --?( T & );
-}; // Incdec
+}; // inc_dec
 
-forall( U | Incdec( U ) )
-trait Multiplicative {
+forall( U | inc_dec( U ) )
+trait multiplicative {
 	U ?*?( U, U );
 	U ?/?( U, U );
 	U ?%?( U, U );
 	U ?/=?( U &, U );
-}; // Multiplicative
+}; // multiplicative
 
-forall( T | Relational( T ) | Multiplicative( T ) )
-trait Arithmetic {
-}; // Arithmetic
+forall( T | relational( T ) | multiplicative( T ) )
+trait arithmetic {
+}; // arithmetic
 
 // Local Variables: //
Index: libcfa/src/parseconfig.cfa
===================================================================
--- libcfa/src/parseconfig.cfa	(revision 874b16e4ec3267372a00df991cebd1f190221b10)
+++ libcfa/src/parseconfig.cfa	(revision 6a93e4d052f6947dc8a35ddde898652fa241e72f)
@@ -203,5 +203,5 @@
 
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_nonnegative( & T value ) {
 	T zero_val = 0;
@@ -209,5 +209,5 @@
 }
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_positive( & T value ) {
 	T zero_val = 0;
@@ -215,5 +215,5 @@
 }
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_nonpositive( & T value ) {
 	T zero_val = 0;
@@ -221,5 +221,5 @@
 }
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_negative( & T value ) {
 	T zero_val = 0;
Index: libcfa/src/parseconfig.hfa
===================================================================
--- libcfa/src/parseconfig.hfa	(revision 874b16e4ec3267372a00df991cebd1f190221b10)
+++ libcfa/src/parseconfig.hfa	(revision 6a93e4d052f6947dc8a35ddde898652fa241e72f)
@@ -107,14 +107,14 @@
 
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_nonnegative( & T );
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_positive( & T );
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_nonpositive( & T );
 
-forall(T | Relational( T ))
+forall(T | relational( T ))
 [ bool ] is_negative( & T );