anchor.diff:                           (factor (gcd col-value (aref this-row col)))
                            (factored-refr (@* factor refr))
                            (result  (@- this-row factored-refr)))
  -                    (declare (type (simple-array t (*)) vector-form))
  +                    (declare (type (simple-array * (*)) vector-form))
                       (dotimes (n (1- n-cols))
                         (setf (aref refr n)
                               (aref result n)))))
  
positive.code: 
    ;; defunct prototype
  
    (declare (type (array t (* *)) m)
             (inline copy-array)
             #+TO-DO (values vector))
    (let* ((n-rows (array-dimension m 0))
  
negative.code: 
  (defun compute-array-vector (m)
    (declare (type array m)
             (values (simple-array * (*))))
    (let* ((len (apply #'* (the cons (array-dimensions m))))
           (retv (make-array len :element-type (array-element-type m))))
      (dotimes (n len retv)
  