nix-acset-worlding

Model Nix store as Attributed C-Set for dependency verification, GC analysis,