Implicit lambda names

I added some ideas mentioned here.

I think that it is a good idea to write there a summary of this discussion.

@HughG this message is for you too, I suppose.