Issue: GENSYM-NAME-STICKINESS, version 2

[Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>]

Can you motivate why you want a function rather than a variable
for the counter control? For example, a useful feature of a
variable would be to bind it. 

My basic feeling is that if we need a function rather than variable,
we must need the function for a reason. What is the function providing
that is worth the added descriptive overhead and loss of (binding)
flexibility but that is not stated in the writeup?