Compute valid prism names for infix constructors