sums with multiple indices and bounds, modulo, better (earlier) max/min extent detection, !=
arbitrary functions as constraints on summations