Comment 6 for bug 942237

Good point re. user declarations.

I'm mostly thinking about how to minimize the impact for user code that has happily been doing

  (dolist (x list res)
    (declare (type string x))
    ...)

... as I'd rather not break it unless we really have to.