Action:
|bind "x" to closure (abstraction of give the given integer) hence |give the integer bound to "x"
Incomplete...
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]