Nix sounds like SELinux.
A great idea in theory, but in practice just too hard.
There is a great deal of genius in coming up with these ideas.
There is just as much genius in finding the 80-90% solution that incorporates most of the original, but in a workable way.
Looking forward to seeing where stuff like Nix ends up.