Index: /trunk/ccl/library/lispequ.lisp
===================================================================
--- /trunk/ccl/library/lispequ.lisp	(revision 268)
+++ /trunk/ccl/library/lispequ.lisp	(revision 269)
@@ -445,7 +445,7 @@
 )
 
-;;; The Hairy-ctype represents anything too wierd to be described reasonably or
-;;; to be useful, such as AND, NOT and SATISFIES and unknown types.  We just
-;;; remember the original type spec.
+;;; The Hairy-ctype represents anything too wierd to be described
+;;; reasonably or to be useful, such as SATISFIES.  We just remember
+;;; the original type spec.
 ;;;
 
@@ -542,4 +542,25 @@
   union-ctype-types
 )
+
+; INTERSECTION-ctype is a direct subclass of CTYPE.
+(def-accessors (intersection-ctype) %svref
+  nil                                   ; 'intersection-ctype
+  nil                                   ; ctype-class-info           
+  nil                                   ; ctype-enumerable
+  ;;
+  ;; The types in the intersection
+  intersection-ctype-types
+)
+
+(def-accessors (negation-ctype) %svref
+  nil                                   ; 'negation-ctype
+  nil                                   ; ctype-class-info           
+  nil                                   ; ctype-enumerable
+  ;; The type of what we're not:
+  negation-ctype-type
+  )
+  
+
+
 
 ; It'd be nice to integrate "foreign" types into the type system