I think I'd call this MuCommaLambdaES or something that captures the "standard" naming people use. I had to go look up Algorithm 18 in the book to figure out what you were actually implementing.