tl;dw Add ordered choice to a functional language. Evaluation is "lenient" which basically means "sooner or later don't worry so much." It's certainly an ideal. The real novel thing is using rewrite rules as the core semantics with the hope of optimizing away a lot of choice at compile time. The talk specifically is not about the type system, typing of effects, and transactions, which are extremely important for making Verse useful. An advantage of having a functional/logic core is that many complicated programs naturally end up in that space whether you like it or not.
(I have in mind of a few gnarly, "here be dragons" blocks of code recently written, which would have been entirely unnecessary in a logic language. As is, I ended up with just a few lines, but one junior programmer on our team beheld them and has been quietly mumbling ph'nglui mglw'nafh in the corner ever since.)
Moreover, a powerful logical core in a big ecosystem makes possible a whole range of larger programs that people rarely write. It's just that non-determinism is usually localized rather than operating at scale. (I suppose map-reduce programs being the most notable exception.)
I've also been super exited about rewriting/partial-evaluation for years and years because of the potential to specialize an flexible framework so that actual running code throws away all the abstract indirection.