Closures that can return references to captured variables

[steffahn]

I am re-opening this topic, as @Ddystopia expressed interest in continuing this discussion in light of the fact that we do have stable GATs now.