Yes, in a way common lisp code can be locally lowered to a well-typed language.

What people do is just write code they way they usually write dynamic lisp and then add types to functions where necessary for performance.

SBCL generates good assembly, btw.