Generalize closure implementation

The `bind' call can now create closure of any size.