anchor.diff:                          general-type)))
                  (or (some #'derive-type '(string boolean list array hash-table integer
                                            complex number))
  +                   ;; Only allow objects of the same type by default.
  +                   ;; We could have returned nil to inhibit the generation of a
  +                   ;; :type property.
                      type))))))))
   
   (defun type-zero-initform-inference (definition)
  
positive.code:         ;; Default initform when type is missing:
          nil)))
  
  (defvar *initform-inference* 'type-zero-initform-inference)
  (defvar *type-inference* 'basic-type-inference)
  
  (defun process-slot-initform (definition &key ; See `hu.dwim.defclass-star:process-slot-definition'.
                                             initform-inference
  
negative.code: Note that in a slot definition, '() is infered to be a list while NIL is infered
  to be a boolean.
  
  Non-basic form types are not infered (returns nil).
  Non-basic scalar types are derived to their own type (with `type-of')."
    (multiple-value-bind (found? value)
        (initform definition)
      (when found?
  