public DataType VisitLambda(Lambda lambda)
{
State env = scope.getForwarding();
var fun = new FunType(lambda, env);
fun.Table.Parent = this.scope;
fun.Table.Path = scope.extendPath(analyzer, "{lambda}");
fun.setDefaultTypes(ResolveList(lambda.args.Select(p => p.test)));
analyzer.AddUncalled(fun);
return(fun);
}
