Index: src/libcfa/prelude.cf
===================================================================
--- src/libcfa/prelude.cf	(revision 4b1afb612226e0433d5fc67b4d46e47789cfa3df)
+++ src/libcfa/prelude.cf	(revision 0f35657ae520d3e4d0fd40c5151fc45879ad5bee)
@@ -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 * );