Will do CamelCase.   I like the symmetry between "ExprWithLimits" and "AddWithLimits", as well as fact that the style leaves open something like "AddWithGenerator" for sums or integrals over undefined sets.