Prune and trim can't be made like this because vertex descriptors are invalidated.
Our root descriptors will move.
Nodes are holes by default.
Drafting a G-machine.
Graph reduction must be corrected.