Type signature DataFlowType

A type for a data flow node.

This may or may not coincide with any type system existing for the source language, but should minimally include unique types for individual closure expressions (typically lambdas).