Efficient named local variables and lexical closures