anchor.diff:  (defun column (m j)
     (declare (type array-dimension-designator j)
              (type (array t (* *)) m)
  -           (values (array t (1 *)) m))
  +           (values (array t (* 1))))
     (let* ((n-rows (array-dimension m 0))
            (reslt (make-array (list n-rows 1)
                               :element-type (array-element-type m))))
  +    (declare (type array-dimension-designator n-rows)
  +             (type (array t (* 1)) reslt))
       (dotimes (n n-rows reslt)
         (setf (aref reslt n 0) 
               (aref m n j))
  -    )))
  +      )))
   
   ;; (column #2A((1 2 3 4) (4 3 2 1)) 0)
   ;; => #2A((1) (4))
  
positive.code: 
  
  (defun compute-array-vector* (m)
    ;; FIXME: Move this DEFUN to the MCi CLtL 'utils' system
    (declare (type array m)
             (values (simple-array t (*))))
    (let ((dims (array-dimensions m)))
  
negative.code: (defun row (m i)
    (declare (type array-dimension-designator i)
             (type (array t (* *)) m)
             (values (array t (1 *))))
    (let* ((n-cols (array-dimension m 1))
           (reslt (make-array (list 1 n-cols)
                              :element-type (array-element-type m))))
      (declare (type array-dimension-designator n-cols)
               (type (array t (1 *)) reslt))
      (dotimes (n n-cols reslt)
        (setf (aref reslt 0 n) 
              (aref m i n))
  