Index: libcfa/src/enum.hfa
===================================================================
--- libcfa/src/enum.hfa	(revision 083e637af37a72dd11b4293ac0f9fc8ffbaf46a8)
+++ libcfa/src/enum.hfa	(revision 07e9df1e21fb57bb093460e2671a8b1e2add9d74)
@@ -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         
 }