Are you saying that the happy path of SBCL static typing—given you also want to use lists, and also not be inundated with spurious warnings—is to declare everything to be of type T?
No, I am not. Perhaps you read up a bit about Common Lisp and SBCL before we continue the discussion.