Does not build in sbcl 1.4.10 - type inference issue about kenzo HOT 3 CLOSED

---done---.
 Did 1561 checks.
    Pass: 1555 (99%)
    Skip: 0 ( 0%)
    Fail: 6 ( 0%)

 Failure Details:
 --------------------------------
 SUSPENSION4 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K25 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K25 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION3 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K15 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K15 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION2 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K7 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K7 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION1 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K6 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K6 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 COAL []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K6 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K6 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K6 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K6 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------

NIL
(#<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1005DE91D3}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1007856143}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1007A07333}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1007AF9FB3}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {100A62C1F3}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {100A63B013}>)

COAL
SUSPENSION[1..4]