Type signature OutputSig::ClosureNode

A data flow node that we need to reference in the step relations for captured variables.

Note that only the SynthesizedCaptureNode subclass is expected to be added as additional nodes in DataFlow::Node. The other subclasses are expected to already be present and are included here in order to reference them in the step relations.