At present Maxima requires an index (as in sum/product)
to be a symbol. Maxima could relax that to allow
subscripted indices, e.g.
sum (A[k], k, 1, n);
That could be useful since subscripted indices are
fairly common in math.
I haven't thought about how that could be implemented.