lambdacalculusschoenfinkelcurrymarkovalgorithm