Memory-safe since decades.

It's just reference counting with some common sense optimisations. From the website I can't quite make out wether they disallow cyclic data structures or just leek them, but I'm guessing it's the latter.

Also the only thing worse than one-indexed arrays (the default) is allowing user defined array start.

I feel embarrased to admit that I had been totally unaware of Seed7 until mere two months ago.

Don't be, there are so many out there, no need to be embarrassed for not knowing a language that prides itself on lot having fortran style line length limit.
After slogging through vhdl, I personally will not voluntarily use a language that forces me to write out stuff like

      end if;
    end for;
  end func;

when three } would work just as well.
Similar deal with

const proc: main is func
  local
    # local variables go here 
  begin
    # finally, the actual code can begin

where proc means func void so essentially const func void main is func begin. Just default to const, remove the redundant funcs and allow locals to go where they are used, not all up front, even when they are only used in one branch.