Index: libcfa/src/enum.hfa
===================================================================
--- libcfa/src/enum.hfa	(revision 0f4c5139bc3ec7a3367d576eb08859758f4e8e39)
+++ libcfa/src/enum.hfa	(revision ec20ab955a5e90eda7cf9217db6a7c54ed964e01)
@@ -1,30 +1,30 @@
 #pragma once
 
-forall(E) trait Bounded {
-    E lowerBound();
-    E upperBound();
+forall( E ) trait Bounded {
+	E lowerBound();
+	E upperBound();
 };
 
-forall(E | Bounded(E)) trait Serial {
-    unsigned fromInstance(E e);
-    E fromInt(unsigned i);
-    E succ(E e);
-    E pred(E e);
+forall( E | Bounded( E ) ) trait Serial {
+	unsigned fromInstance( E e );
+	E fromInt( unsigned int posn );
+	E succ( E e );
+	E pred( E e );
 };
 
-forall(E, T) trait TypedEnum {
-    T valueE(E e);
-    char * labelE(E e);
-    unsigned int posE(E e);
+forall( E, T ) trait TypedEnum {
+	T valueE( E e );
+	char * labelE( E e );
+	unsigned int posE( E e );
 };
 
-forall(E, T| TypedEnum(E, T)) {
-    // comparison
-    int ?==?(E l, E r);
-    int ?!=?(E l, E r);
-    int ?!=?(E l, zero_t);
-    int ?<?(E l, E r);
-    int ?<=?(E l, E r);
-    int ?>?(E l, E r);
-    int ?>=?(E l, E r);
+forall( E, T | TypedEnum( E, T ) ) {
+	// comparison
+	int ?==?( E l, E r );								// true if l and r are same enumerators	   
+	int ?!=?( E l, E r );								// true if l and r are different enumerators
+	int ?!=?( E l, zero_t );							// true if l is not the first enumerator	   
+	int ?<?( E l, E r );								// true if l is an enuemerator before r	   
+	int ?<=?( E l, E r );								// true if l before or the same as r		   
+	int ?>?( E l, E r );								// true if l is an enuemrator after r	   
+	int ?>=?( E l, E r );								// true if l after or the same as r         
 }