markovlambdaschoenfinkellifelogicsynthesis