The type of the original binding.
Expression giving the closure to use, eg
|-> VM CoreExpr|
Build an expression that calls the vectorised version of some
function from a
(x :: Double) ->
(y :: Double) ->
($v_foo $: x) $: y
We use the type of the original binding to work out how many outer lambdas to add.