I'm not sure about this idea. I think I would need to actually play around with it for a while before I could know whether it was a net gain or not.
I do like #3 though, with unbound symbols evaluating to themselves. One problem: wouldn't that mean that now you must use "bound" if you want to know if a symbol is defined or not? How frequently do you want to do that?
