NpmPlacement.v reduces npm's node_modules layouts, aliases and optional edges included, through Placement.v, which gains optional dependencies and peers; sound, complete to a depth bound, with lookups in the per-edge form the driver uses