> enough to write statically typed code in Lisp

Certainly not in the way "statically typed" is usually understood.

Containers (outside of specialized arrays) aren't parameterized, so every time you extract a value from a list or map, the "static type" is the top type. SBCL remains essentially unityped with islands of type propagation for better performance of (mostly) numeric code.