Index: src/libcfa/prelude.cf
===================================================================
--- src/libcfa/prelude.cf	(revision 4b1afb612226e0433d5fc67b4d46e47789cfa3df)
+++ src/libcfa/prelude.cf	(revision 2c57025b9dec0a2c5dae7c32ad6e1ac3ccf8f76e)
@@ -108,8 +108,8 @@
 forall( otype T ) const volatile T *	 --?( const volatile T ** );
 
-forall( otype T ) lvalue T		 *?(		     T * );
-forall( otype T ) const lvalue T		 *?( const	     T * );
-forall( otype T ) volatile lvalue T	 *?(       volatile  T * );
-forall( otype T ) const volatile lvalue T *?( const volatile  T * );
+forall( dtype T | sized(T) ) lvalue T		 *?(		     T * );
+forall( dtype T | sized(T) ) const lvalue T		 *?( const	     T * );
+forall( dtype T | sized(T) ) volatile lvalue T	 *?(       volatile  T * );
+forall( dtype T | sized(T) ) const volatile lvalue T *?( const volatile  T * );
 forall( ftype FT ) lvalue FT		 *?( FT * );