Index: libcfa/src/vec/vec2.hfa
===================================================================
--- libcfa/src/vec/vec2.hfa	(revision b12e4adafec0b1555ac53553d12acbcfb9a69558)
+++ libcfa/src/vec/vec2.hfa	(revision a12816e7af641f0a6acf1c6966bea34f36cf8f7f)
@@ -19,5 +19,5 @@
 #include "vec.hfa"
 
-forall (T) {
+forall( T ) {
     struct vec2 {
         T x, y;
@@ -25,262 +25,260 @@
 }
 
-forall (T) {
-    static inline {
-
-    void ?{}(vec2(T)& v, T x, T y) {
-        v.[x, y] = [x, y];
-    }
-
-    forall(| zero_assign(T))
-    void ?{}(vec2(T)& vec, zero_t) with (vec) {
-        x = y = 0;
-    }
-
-    void ?{}(vec2(T)& vec, T val) with (vec) {
-        x = y = val;
-    }
-
-    void ?{}(vec2(T)& vec, vec2(T) other) with (vec) {
-        [x,y] = other.[x,y];
-    }
-
-    void ?=?(vec2(T)& vec, vec2(T) other) with (vec) {
-        [x,y] = other.[x,y];
-    }
-    forall(| zero_assign(T))
-    void ?=?(vec2(T)& vec, zero_t) with (vec) {
-        x = y = 0;
-    }
-
-    // Primitive mathematical operations
-
-    // -
-    forall(| subtract(T)) {
-    vec2(T) ?-?(vec2(T) u, vec2(T) v) {
-        return [u.x - v.x, u.y - v.y];
-    }
-    vec2(T)& ?-=?(vec2(T)& u, vec2(T) v) {
-        u = u - v;
-        return u;
-    }
-    }
-    forall(| negate(T))
-    vec2(T) -?(vec2(T) v) with (v) {
-        return [-x, -y];
-    }
-
-    forall(| { T --?(T&); }) {
-    vec2(T)& --?(vec2(T)& v) {
-        --v.x;
-        --v.y;
-        return v;
-    }
-    vec2(T) ?--(vec2(T)& v) {
-        vec2(T) copy = v;
-        --v;
-        return copy;
-    }
-    }
-
-    // +
-    forall(| add(T)) {
-    vec2(T) ?+?(vec2(T) u, vec2(T) v) {
-        return [u.x + v.x, u.y + v.y];
-    }
-    vec2(T)& ?+=?(vec2(T)& u, vec2(T) v) {
-        u = u + v;
-        return u;
-    }
-    }
-
-    forall(| { T ++?(T&); }) {
-    vec2(T)& ++?(vec2(T)& v) {
-        ++v.x;
-        ++v.y;
-        return v;
-    }
-    vec2(T) ?++(vec2(T)& v) {
-        vec2(T) copy = v;
-        ++v;
-        return copy;
-    }
-    }
-
-    // *
-    forall(| multiply(T)) {
-    vec2(T) ?*?(vec2(T) v, T scalar) with (v) {
-        return [x * scalar, y * scalar];
-    }
-    vec2(T) ?*?(T scalar, vec2(T) v) {
-        return v * scalar;
-    }
-    vec2(T) ?*?(vec2(T) u, vec2(T) v) {
-        return [u.x * v.x, u.y * v.y];
-    }
-    vec2(T)& ?*=?(vec2(T)& v, T scalar) {
-        v = v * scalar;
-        return v;
-    }
-    vec2(T) ?*=?(vec2(T)& u, vec2(T) v) {
-        u = u * v;
-        return u;
-    }
-    }
-
-    // /
-    forall(| divide(T)) {
-    vec2(T) ?/?(vec2(T) v, T scalar) with (v) {
-        return [x / scalar, y / scalar];
-    }
-    vec2(T) ?/?(vec2(T) u, vec2(T) v) {
-        return [u.x / v.x, u.y / v.y];
-    }
-    vec2(T)& ?/=?(vec2(T)& v, T scalar) {
-        v = v / scalar;
-        return v;
-    }
-    vec2(T) ?/=?(vec2(T)& u, vec2(T) v) {
-        u = u / v;
-        return u;
-    }
-    }
-
-    // %
-    forall(| { T ?%?(T,T); }) {
-    vec2(T) ?%?(vec2(T) v, T scalar) with (v) {
-        return [x % scalar, y % scalar];
-    }
-    vec2(T)& ?%=?(vec2(T)& u, T scalar) {
-        u = u % scalar;
-        return u;
-    }
-    vec2(T) ?%?(vec2(T) u, vec2(T) v) {
-        return [u.x % v.x, u.y % v.y];
-    }
-    vec2(T)& ?%=?(vec2(T)& u, vec2(T) v) {
-        u = u % v;
-        return u;
-    }
-    }
-
-    // &
-    forall(| { T ?&?(T,T); }) {
-    vec2(T) ?&?(vec2(T) v, T scalar) with (v) {
-        return [x & scalar, y & scalar];
-    }
-    vec2(T)& ?&=?(vec2(T)& u, T scalar) {
-        u = u & scalar;
-        return u;
-    }
-    vec2(T) ?&?(vec2(T) u, vec2(T) v) {
-        return [u.x & v.x, u.y & v.y];
-    }
-    vec2(T)& ?&=?(vec2(T)& u, vec2(T) v) {
-        u = u & v;
-        return u;
-    }
-    }
-
-    // |
-    forall(| { T ?|?(T,T); }) {
-    vec2(T) ?|?(vec2(T) v, T scalar) with (v) {
-        return [x | scalar, y | scalar];
-    }
-    vec2(T)& ?|=?(vec2(T)& u, T scalar) {
-        u = u | scalar;
-        return u;
-    }
-    vec2(T) ?|?(vec2(T) u, vec2(T) v) {
-        return [u.x | v.x, u.y | v.y];
-    }
-    vec2(T)& ?|=?(vec2(T)& u, vec2(T) v) {
-        u = u | v;
-        return u;
-    }
-    }
-
-    // ^
-    forall(| { T ?^?(T,T); }) {
-    vec2(T) ?^?(vec2(T) v, T scalar) with (v) {
-        return [x ^ scalar, y ^ scalar];
-    }
-    vec2(T)& ?^=?(vec2(T)& u, T scalar) {
-        u = u ^ scalar;
-        return u;
-    }
-    vec2(T) ?^?(vec2(T) u, vec2(T) v) {
-        return [u.x ^ v.x, u.y ^ v.y];
-    }
-    vec2(T)& ?^=?(vec2(T)& u, vec2(T) v) {
-        u = u ^ v;
-        return u;
-    }
-    }
-
-    // <<
-    forall(| { T ?<<?(T,T); }) {
-    vec2(T) ?<<?(vec2(T) v, T scalar) with (v) {
-        return [x << scalar, y << scalar];
-    }
-    vec2(T)& ?<<=?(vec2(T)& u, T scalar) {
-        u = u << scalar;
-        return u;
-    }
-    vec2(T) ?<<?(vec2(T) u, vec2(T) v) {
-        return [u.x << v.x, u.y << v.y];
-    }
-    vec2(T)& ?<<=?(vec2(T)& u, vec2(T) v) {
-        u = u << v;
-        return u;
-    }
-    }
-
-    // >>
-    forall(| { T ?>>?(T,T); }) {
-    vec2(T) ?>>?(vec2(T) v, T scalar) with (v) {
-        return [x >> scalar, y >> scalar];
-    }
-    vec2(T)& ?>>=?(vec2(T)& u, T scalar) {
-        u = u >> scalar;
-        return u;
-    }
-    vec2(T) ?>>?(vec2(T) u, vec2(T) v) {
-        return [u.x >> v.x, u.y >> v.y];
-    }
-    vec2(T)& ?>>=?(vec2(T)& u, vec2(T) v) {
-        u = u >> v;
-        return u;
-    }
-    }
-
-    // ~
-    forall(| { T ~?(T); })
-    vec2(T) ~?(vec2(T) v) with (v) {
-        return [~v.x, ~v.y];
-    }
-
-    // relational
-    forall(| equality(T)) {
-    bool ?==?(vec2(T) u, vec2(T) v) with (u) {
-        return x == v.x && y == v.y;
-    }
-    bool ?!=?(vec2(T) u, vec2(T) v) {
-        return !(u == v);
-    }
-    }
-
-    // Geometric functions
-    forall(| add(T) | multiply(T))
-    T dot(vec2(T) u, vec2(T) v) {
-        return u.x * v.x + u.y * v.y;
-    }
-
-    } // static inline
-}
-
-forall(ostype &, T | writeable(T, ostype)) {
-    ostype & ?|?(ostype & os, vec2(T) v) with (v) {
+static inline forall( T ) {
+
+	void ?{}( vec2( T )& v, T x, T y ) {
+		v.[x, y] = [x, y];
+	}
+
+	forall(| zero_assign( T ))
+		void ?{}( vec2( T )& vec, zero_t ) with ( vec ) {
+		x = y = 0;
+	}
+
+	void ?{}( vec2( T )& vec, T val ) with ( vec ) {
+		x = y = val;
+	}
+
+	void ?{}( vec2( T )& vec, vec2( T ) other ) with ( vec ) {
+		[x,y] = other.[x,y];
+	}
+
+	void ?=?( vec2( T )& vec, vec2( T ) other ) with ( vec ) {
+		[x,y] = other.[x,y];
+	}
+	forall(| zero_assign( T ))
+		void ?=?( vec2( T )& vec, zero_t ) with ( vec ) {
+		x = y = 0;
+	}
+
+	// Primitive mathematical operations
+
+	// -
+	forall(| subtract( T )) {
+		vec2( T ) ?-?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x - v.x, u.y - v.y];
+		}
+		vec2( T )& ?-=?( vec2( T )& u, vec2( T ) v ) {
+			u = u - v;
+			return u;
+		}
+	}
+	forall(| negate( T ))
+		vec2( T ) -?( vec2( T ) v ) with ( v ) {
+		return [-x, -y];
+	}
+
+	forall(| { T --?( T&); }) {
+		vec2( T )& --?( vec2( T )& v ) {
+			--v.x;
+			--v.y;
+			return v;
+		}
+		vec2( T ) ?--( vec2( T )& v ) {
+			vec2( T ) copy = v;
+			--v;
+			return copy;
+		}
+	}
+
+	// +
+	forall(| add( T )) {
+		vec2( T ) ?+?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x + v.x, u.y + v.y];
+		}
+		vec2( T )& ?+=?( vec2( T )& u, vec2( T ) v ) {
+			u = u + v;
+			return u;
+		}
+	}
+
+	forall(| { T ++?( T&); }) {
+		vec2( T )& ++?( vec2( T )& v ) {
+			++v.x;
+			++v.y;
+			return v;
+		}
+		vec2( T ) ?++( vec2( T )& v ) {
+			vec2( T ) copy = v;
+			++v;
+			return copy;
+		}
+	}
+
+	// *
+	forall(| multiply( T )) {
+		vec2( T ) ?*?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x * scalar, y * scalar];
+		}
+		vec2( T ) ?*?( T scalar, vec2( T ) v ) {
+			return v * scalar;
+		}
+		vec2( T ) ?*?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x * v.x, u.y * v.y];
+		}
+		vec2( T )& ?*=?( vec2( T )& v, T scalar ) {
+			v = v * scalar;
+			return v;
+		}
+		vec2( T ) ?*=?( vec2( T )& u, vec2( T ) v ) {
+			u = u * v;
+			return u;
+		}
+	}
+
+	// /
+	forall(| divide( T )) {
+		vec2( T ) ?/?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x / scalar, y / scalar];
+		}
+		vec2( T ) ?/?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x / v.x, u.y / v.y];
+		}
+		vec2( T )& ?/=?( vec2( T )& v, T scalar ) {
+			v = v / scalar;
+			return v;
+		}
+		vec2( T ) ?/=?( vec2( T )& u, vec2( T ) v ) {
+			u = u / v;
+			return u;
+		}
+	}
+
+	// %
+	forall(| { T ?%?( T,T ); }) {
+		vec2( T ) ?%?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x % scalar, y % scalar];
+		}
+		vec2( T )& ?%=?( vec2( T )& u, T scalar ) {
+			u = u % scalar;
+			return u;
+		}
+		vec2( T ) ?%?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x % v.x, u.y % v.y];
+		}
+		vec2( T )& ?%=?( vec2( T )& u, vec2( T ) v ) {
+			u = u % v;
+			return u;
+		}
+	}
+
+	// &
+	forall(| { T ?&?( T,T ); }) {
+		vec2( T ) ?&?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x & scalar, y & scalar];
+		}
+		vec2( T )& ?&=?( vec2( T )& u, T scalar ) {
+			u = u & scalar;
+			return u;
+		}
+		vec2( T ) ?&?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x & v.x, u.y & v.y];
+		}
+		vec2( T )& ?&=?( vec2( T )& u, vec2( T ) v ) {
+			u = u & v;
+			return u;
+		}
+	}
+
+	// |
+	forall(| { T ?|?( T,T ); }) {
+		vec2( T ) ?|?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x | scalar, y | scalar];
+		}
+		vec2( T )& ?|=?( vec2( T )& u, T scalar ) {
+			u = u | scalar;
+			return u;
+		}
+		vec2( T ) ?|?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x | v.x, u.y | v.y];
+		}
+		vec2( T )& ?|=?( vec2( T )& u, vec2( T ) v ) {
+			u = u | v;
+			return u;
+		}
+	}
+
+	// ^
+	forall(| { T ?^?( T,T ); }) {
+		vec2( T ) ?^?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x ^ scalar, y ^ scalar];
+		}
+		vec2( T )& ?^=?( vec2( T )& u, T scalar ) {
+			u = u ^ scalar;
+			return u;
+		}
+		vec2( T ) ?^?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x ^ v.x, u.y ^ v.y];
+		}
+		vec2( T )& ?^=?( vec2( T )& u, vec2( T ) v ) {
+			u = u ^ v;
+			return u;
+		}
+	}
+
+	// <<
+	forall(| { T ?<<?( T,T ); }) {
+		vec2( T ) ?<<?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x << scalar, y << scalar];
+		}
+		vec2( T )& ?<<=?( vec2( T )& u, T scalar ) {
+			u = u << scalar;
+			return u;
+		}
+		vec2( T ) ?<<?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x << v.x, u.y << v.y];
+		}
+		vec2( T )& ?<<=?( vec2( T )& u, vec2( T ) v ) {
+			u = u << v;
+			return u;
+		}
+	}
+
+	// >>
+	forall(| { T ?>>?( T,T ); }) {
+		vec2( T ) ?>>?( vec2( T ) v, T scalar ) with ( v ) {
+			return [x >> scalar, y >> scalar];
+		}
+		vec2( T )& ?>>=?( vec2( T )& u, T scalar ) {
+			u = u >> scalar;
+			return u;
+		}
+		vec2( T ) ?>>?( vec2( T ) u, vec2( T ) v ) {
+			return [u.x >> v.x, u.y >> v.y];
+		}
+		vec2( T )& ?>>=?( vec2( T )& u, vec2( T ) v ) {
+			u = u >> v;
+			return u;
+		}
+	}
+
+	// ~
+	forall(| { T ~?( T ); })
+		vec2( T ) ~?( vec2( T ) v ) with ( v ) {
+		return [~v.x, ~v.y];
+	}
+
+	// relational
+	forall(| equality( T )) {
+		bool ?==?( vec2( T ) u, vec2( T ) v ) with ( u ) {
+			return x == v.x && y == v.y;
+		}
+		bool ?!=?( vec2( T ) u, vec2( T ) v ) {
+			return !( u == v );
+		}
+	}
+
+	// Geometric functions
+	forall(| add( T ) | multiply( T ))
+		T dot( vec2( T ) u, vec2( T ) v ) {
+		return u.x * v.x + u.y * v.y;
+	}
+} // static inline
+
+
+forall( ostype &, T | writeable( T, ostype )) {
+    ostype & ?|?( ostype & os, vec2( T ) v ) with ( v ) {
         return os | '<' | x | ',' | y | '>';
     }
-	OSTYPE_VOID_IMPL( os, vec2(T) )
+	OSTYPE_VOID_IMPL( os, vec2( T ) )
 }