Add missing "(x)" to "prd(x:A) B"
Merge pull request #345 from vog/fix-bx

Add missing "(x)" to "prd(x:A) B"