anchor.diff:      :name symbol
       :type type))
   
  +(defmethod print-object ((object variable-type) stream)
  +  (print-unreadable-object (object stream :type t :identity t)
  +    (format stream "~s ~s" (name object) (type object))))
  +
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
   ;;; FUNCTION-TYPE.
  
positive.code:     :name symbol
      :ignore ignore))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; FUNCTION-IGNORE.
  
negative.code:     :name function-name
      :type type))
  
  (defmethod print-object ((object function-type) stream)
    (print-unreadable-object (object stream :type t :identity t)
      (format stream "~s ~s" (name object) (type object))))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; VARIABLE-IGNORE.
  