eXtensible Component Verifier and Builder for Common-Lisp