At times you use the expression "limit variables", at times "index variables", both of which sound more meaningful than "ExprWithLimits variables". I think you should change this.