Gladly!
https://github.com/robert-strandh/SICL (which I wrote a decent chunk of the compiler backend of.)
This is a project that has been in development for years now and also makes use of the Cleavir compiler framework (https://github.com/s-expressionists/Cleavir), which is being developed as part of another new Common Lisp implementation called SICL (https://github.com/robert-strandh/SICL).
Congrats to the CLASP devs, this is a huge accomplishment and it's really exciting to see a new CL implementation get a 1.0 release.
> 4. Then I picked an experimental, developing compiler "Cleavir" written by Robert Strandh and bootstrap that with my Common Lisp compiler.
I was wondering if this was some new twist on clasp that I was unaware of - but then discovered that I know that project as SICL (not cleavir).
Since you had a primitive cl compiler (from 2) - 4 added a runtime/advanced cl compiler?
> What probably Lisp trails in is type inference
SBCL type inference is actually getting better and better over time, giving you pretty effective gradual typing. Additionally, a Common Lisp implementation called SICL is in the works, with an advanced compiler and type inference engine.