Rewritten DirectedDFSStack and much of Driver. Added interface.