I'd view "no mutable memory" as misleading, because immutable languages can still create a new variable and forget an old one which has the same memory footprin

I'd view "no mutable memory" as misleading, because immutable languages can still create a new variable and forget an old one which has the same memory footprint as mutating one variable. Obvious example: the flickering stack frame of tail call elimination.