diff --git a/src/chain-complexes.lisp b/src/chain-complexes.lisp
index 9cc9cfd..c61421e 100644
--- a/src/chain-complexes.lisp
+++ b/src/chain-complexes.lisp
@@ -252,7 +252,7 @@
 			  (map nil #'(lambda (rslt)
 				       (declare (type result rslt))
 				       (let ((rntm (result-rntm rslt)))
-					 (declare (integer rntm))
+					 (declare (single-float rntm))
 					 (when (plusp rntm)
 					   (push rntm time-list))))
 			       drslt))
diff --git a/src/cobar.lisp b/src/cobar.lisp
index cdf04b0..6e76425 100644
--- a/src/cobar.lisp
+++ b/src/cobar.lisp
@@ -543,7 +543,7 @@
                     (gfgf-tail (term-cmbn 0 1 +null-allp+)))
                 (declare
                    (list cbgn-list rslt)
-                   (fixnum sign)
+                   (boolean sign)
                    (type cmbn gfgf-tail))
                 (unless cbgn-list
                    (return-from rslt (zero-cmbn 1)))
@@ -557,7 +557,7 @@
                          (let ((h-gnrt (gnrt-? h degr gnrt)))
                             (declare (type cmbn h-gnrt))
                             (let ((hgfgf (cmbn-list (cmbn-allp-cmbn-tnpr h-gnrt gfgf-tail))))
-                               (declare (type cmbn hgfgf))
+                               (declare (type list hgfgf))
                                (when sign
                                   (mapc #'(lambda (term)
                                              (declare (type term term))
diff --git a/src/ls-twisted-products.lisp b/src/ls-twisted-products.lisp
index f6d237b..21d00a3 100644
--- a/src/ls-twisted-products.lisp
+++ b/src/ls-twisted-products.lisp
@@ -372,8 +372,7 @@
      (multiple-value-bind (expn y-n+1 gp-n) (pop-first-absm n g-n)
         (declare
            (fixnum expn)
-           (type absm y-n+1)
-           (type loop gp-n))  ;;; ***
+           (type absm y-n+1 gp-n))
         (ecase expn
            (0 (zero-cmbn (1+ n)))
            (+1
diff --git a/src/smith.lisp b/src/smith.lisp
index 0db1a1b..9e8d68e 100644
--- a/src/smith.lisp
+++ b/src/smith.lisp
@@ -472,7 +472,7 @@
    (declare
      (list mtrx-list)
      (fixnum begin il ic))
-   (the matrix (progn
+   (the list (progn
    (when (< begin il)
       (line-swap-5 mtrx-list begin begin il))
    (when (< begin ic)
diff --git a/src/tensor-products.lisp b/src/tensor-products.lisp
index bd760b3..50e814f 100644
--- a/src/tensor-products.lisp
+++ b/src/tensor-products.lisp
@@ -155,8 +155,9 @@
                          (list1 (cmbn-list (gnrt-? dffr1 degr1 gnrt1)))
                          (list2 (cmbn-list (gnrt-? dffr2 degr2 gnrt2))))
                       (declare
-                         (fixnum degr1-1 degr2-1 sign)
-                         (list list1 list2))
+		       (fixnum degr1-1 degr2-1)
+		       (boolean sign)
+		       (list list1 list2))
                       (make-cmbn
                          :degr (1- degr)
                          :list (nconc