Comment 1 for bug 309122

The relevant citation is found in http://www.lispworks.com/documentation/HyperSpec/Body/d_type.htm
"A type declaration of a symbol defined by symbol-macrolet is equivalent to wrapping a /the/ expression around the expansion of that symbol, although the symbol's macro expansion is not actually affected.