Rationalize lambda implementation with new design of implicit
arguments.  A zero argument lambda automatically infers implicit
arguments, a lambda with one or more Var arguments must have a
placeholder ("_") as one of the Var arguments in order for inference
to happen.