When a macroexpansion tries to evaluate an unbound variable, as in the following,

(ps (macrolet ((blah () x))
        (blah)))

the resulting error message is unhelpful: "Attempt to take the car of "Unbound Value" which is not listp."

Could it say "Attempt to take the value of the unbound variable X" instead?

Daniel