[Ecls-list] porting to ecl question: "lambda lists are not congruent"

[Dima Pasechnik]

We are trying to compile a project that is known to work on CLisp,
Lispworks, and SBCL, namely: https://github.com/gheber/kenzo

(asdf:load-system :kenzo)

aborts with
....
;;;...
;;; Finished compiling /home/dima/Downloads/kenzo/src/effective-homology.lisp.
;;;
;;; Warning: Lisp compilation had style-warnings while
             compiling #<cl-source-file "kenzo" "src" "effective-homology">

Condition of type: SIMPLE-ERROR
Cannot add the method #<standard-method UNNAMED (#<a
CLOS:EQL-SPECIALIZER> #<The BUILT-IN-CLASS T>)> to the generic
function #<standard-generic-function CAT::BUILD-HMEQ> because their
lambda lists (KEYWORD1 LRDCT ...) and (KEYWORD1 LF ...) are not
congruent.
Available restarts:

1. (TRY-RECOMPILING) Recompile effective-homology and try loading it again
2. (RETRY) Retry loading FASL for #<cl-source-file "kenzo" "src"
"effective-homology">.
3. (ACCEPT) Continue, treating loading FASL for #<cl-source-file
"kenzo" "src" "effective-homology"> as having been successful.
4. (RESTART-TOPLEVEL) Go back to Top-Level REPL.

Broken at SI:BYTECODES. [Evaluation of: (ASDF/OPERATE:LOAD-SYSTEM :KENZO)]


Any clues as to how to proceed?
Dima