Type signature Expr

An expression with a value. That is, we expect these expressions to be represented in the data flow graph.