sb-cltl2:macroexpand-all doesn't expand global symbol macros

[Nikodemus Siivola]

(require :sb-cltl2)
(define-symbol-macro foox 42)
(sb-cltl2:macroexpand-all 'foox) ; => FOOX
(macroexpand 'foox) ; => 42, T

Reported by "Gustavo" on sbcl-devel.

[Tobias C. Rittweiler (tcr)]

There are more problems with SB-WALK: It macroexpands and uses declarations
introduced by such macro expansion. It also does not properly update the lexenv
that passed to the function with which WALK is invoked (I forgot the details, and
I do not have the code at hand right now.)

IMHO, SB-WALK could be rewritten; it's very old code, was once written with
portability in mind, then kludged to be SBCL specific again.