Documentation

Build an expression that calls the vectorised version of some function from a Closure.

For example (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.