I propose allowing : $with a <- b, c <- d : xyz [I already tried to send this once, but it bounced due to too much quoted text. So, sorry if some of you got this mail more than once.]