The issue of a lexical environment argument to macroexpand and macroexpand-1 was discussed at length on this list as well as on the cleanup committee list. The problem doesn't go away with the removal of macrolet, because FLET and LABELS can shadow macros, too.