Index: src/prelude/prelude.cf
===================================================================
--- src/prelude/prelude.cf	(revision c5a8c5bf2ad8fe91b68614a3c832241d460c3571)
+++ src/prelude/prelude.cf	(revision f7ff3fba1d98de23216f2c17fe82d71ab5e67308)
@@ -105,8 +105,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 * );