put commas between bvars in bind
giving up on omitting function application brackets

it's too complicated!

Things like integrals, summations and other binding environments should tell their children that they must bracket their arguments, but the operator precedence order seems the wrong way to do it. Or maybe it isn't?