This replaces the previous mapping of VCLs to discard with a mark and
sweep operation where a different head is used to track matching VCLs.

To discard VCLs in topological order, we can simply discard dependencies
recursively before discarding a given VCL.