> Why change closures from || to //? (You’ve then reused | for other things, but why not the other way round?)
Just guessing, but I bet it's to create a parallelism between // (closure) and \\ (closure that moves). If closures were ||, there wouldn't be quite as much of a same-but-different feeling as you get with slash & backslash.