Is the fact that the DEFUN special form in Symbolics Common Lisp fully macro-expands the body before storing the interpreted function as the definition of its name the sort of thing you are looking for? This is not at all at the token-parsing level you seemed to be talking about at first, but seems to fit some of what you said in your latest message.