$vau is similar to $lambda, except it doesn't implicitly evaluate its operands, and it implicitly receives it's caller's dynamic environment as a first class value which gets bound to env.
$lambda is not actually a builtin in Kernel, but wrap is, which constructs an applicative by wrapping an operative.