Throwing an idea which might be unrealistic.
Based on the the examples provided and in general the places where i needed them in other langauges, its mostly in loops.
Could local accumulators be a feature of the for comprehension instead of general feature?
Generally, i would prefer not to have the mutability because as mentioned above this can easily get out of hand with people that are used with mutability.
We cant ensure that newcommers will not use most of the time those mutable variables because this is what they are used to.
