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 sense that it avoids having a (tall) dependency tree.