function arguments and gensym



>
>
>  The function arguments may have very different bindings:
>
>   as a function, as an array, property list, etc.
>  
>
We have to be clear here: I think this issue has nothing to do with 
lexical versus dynamic scoping.

I think it is usually (always) clear from the use of a symbol what 
property the
user wants. I.e. if he writes f(-) he means the function property
of f (it it exists). If he writes f[-] and f is not a list he means the 
array property of f.

I think the use of the lisp-2 model on the maxima level is needlessly 
confusing.
I there anything to be gained by it?


Michel