Action:
|recursively bind "x" to sum(the datum bound to "x",1) hence |give the datum bound to "x"
Incomplete...
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]