3322 - ah, less hacky 3320

Yet another ugly extra arg, sigh. But at least the convoluted data flow
is backed by a desired behavior..

Yesterday I briefly considered going back to the pre-quoting implementation of
eval_bind_all (pre 2644). Hmm, that starts to seem more compelling.
3323 - dump an entire hierarchy of trace layers