diff --git a/compiler/proclaim.lisp b/compiler/proclaim.lisp
index 01f44f4de531241f417202ca87bc671784b7a5bb..9569660b1467544ea11d2f8c58118e8f9e53b594 100644
--- a/compiler/proclaim.lisp
+++ b/compiler/proclaim.lisp
@@ -202,6 +202,16 @@
     (pushnew (dd-name info)
 	     (dd-included-by (info type structure-info inc))))
 
+  ;;; ### Should declare arg/result types. 
+  (let ((copier (dd-copier info)))
+    (when copier
+      (define-function-name copier)))
+
+  ;;; ### Should make a known type predicate.
+  (let ((predicate (dd-predicate info)))
+    (when predicate
+      (define-function-name predicate)))
+
   (dolist (slot (dd-slots info))
     (let ((fun (dsd-accessor slot)))
       (define-function-name fun)