I came here to complain about calling things 'next-generation languages' when it's obvious that a next-gen language would have to have a purely functional AST.

Turns out Unison has that; so you've got my interest!

I agree with the other comments though that these (amazing) salient details could be communicated a bit more succinctly ;)

P.S. I have a presentation up at https://speakerdeck.com/mtrimpe/graphel-the-meaning-of-an-im... which lists some of the real-world benefits of such a language... feel free to use it for inspiration.