I think the problem was one of "oh no, not that again," for some of the more experienced scheme/lisp hackers here. Even the most intense personal discussions with participants such as Sussman, Hanson, etc. never quite resolved some of these issues. There have been good suggestions to solving the scoping problems of macros. Anyway, people dont seem willing to rehash the elementary arguments again.