Hello, here is a draft of short proposal, I wrote that deals with some of the issues in the rejected Abbreviated Lambdas proposal.