Index: libcfa/prelude/builtins.c
===================================================================
--- libcfa/prelude/builtins.c	(revision e84ab3dadc96fd4dc82b5b0bc20cfe9b14f64259)
+++ libcfa/prelude/builtins.c	(revision d30804ad6634e19d5abd4e2aabcc2b4b9cc9833f)
@@ -10,6 +10,6 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Apr 13 17:26:32 2021
-// Update Count     : 117
+// Last Modified On : Tue Jul 20 17:31:40 2021
+// Update Count     : 128
 //
 
@@ -78,18 +78,18 @@
 
 static inline {
-	forall( DT & | { DT & ?+=?( DT &, one_t ); } )
-	DT & ++?( DT & x ) { return x += 1; }
+	forall( T | { T ?+=?( T &, one_t ); } )
+	T ++?( T & x ) { return x += 1; }
 
-	forall( DT & | sized(DT) | { void ?{}( DT &, DT ); void ^?{}( DT & ); DT & ?+=?( DT &, one_t ); } )
-	DT & ?++( DT & x ) { DT tmp = x; x += 1; return tmp; }
+	forall( T | { T ?+=?( T &, one_t ); } )
+	T ?++( T & x ) { T tmp = x; x += 1; return tmp; }
 
-	forall( DT & | { DT & ?-=?( DT &, one_t ); } )
-	DT & --?( DT & x ) { return x -= 1; }
+	forall( T | { T ?-=?( T &, one_t ); } )
+	T --?( T & x ) { return x -= 1; }
 
-	forall( DT & | sized(DT) | { void ?{}( DT &, DT ); void ^?{}( DT & ); DT & ?-=?( DT &, one_t ); } )
-	DT & ?--( DT & x ) { DT tmp = x; x -= 1; return tmp; }
+	forall( T | { T ?-=?( T &, one_t ); } )
+	T ?--( T & x ) { T tmp = x; x -= 1; return tmp; }
 
-	forall( DT & | { int ?!=?( const DT &, zero_t ); } )
-	int !?( const DT & x ) { return !( x != 0 ); }
+	forall( T | { int ?!=?( T, zero_t ); } )
+	int !?( T & x ) { return !( x != 0 ); }
 } // distribution