Naive lambda walking implementation