lambdas are now right-associative; added using lambdas' arguments as lambdas; release candidate