Unison (lang) ?
Even if it turns out to be perfect in every way though, it takes a long time for the masses to adopt new languages. I think it might be worth finding ways to build consensus around claims like:
> this particular bit of python can be treated like a pure function
...even though there aren't any guarantees built into the language.