The main difference to your examples is that an “immutable OS” is in fact mutable, while none of your examples describe themselves with an adjective that is contradicting with their function/inner workings.

Flatpak is a pretty good name, because it makes software flat in the sence that it avoids having a tall dependency tree.