implicit letrec for lambdas, fix inference tests