sorry, didn't notice your post ;-)
Actually, this is not really a "forum". As you noticed, it doesn't lend well to on-going discussion. I would suggest to better post and discuss such questions on the mailing list or IRC.
Concerning your original question: I would say, using lexical scoping is nearly impossible with PicoLisp as it is designed currently. Lexical scoping makes sense only in combination with a compiler (while on the other hand dynamic binding doesn't work well in compiled Lisps). A compiler, however, is not feasible with the way PicoLisp calls built-in functions. In any case, you would end up with a completely different language.
So, the "axioms" of PicoLisp are the cell structures plus the evaluation mechanisms of the primitive (built-in) functions. The rest of the language is a consequence of that. I would really like to discuss that in more detail, but it is difficult to start here.
http://picolisp.com/wiki/?noname4
| 25nov10 | abu |