I think this is a very interesting way to think about and categorize languages. One of the reasons I've always preferred OCaml to Haskell, for example, is how less-escape-hatch-y mutation is. It's still not the preferred path, but it is certainly way closer to a first party feature and you won't immediately be asked to leave the room for suggesting using it to solve a problem.
You give up some stuff in exchange for this, of course!