Tried out a different semantics

... that bakes in closure under size increase;
unfortunately, it doesn't seem to work (it breaks the other bind case)