defining lambda expressions
Hint: This way lists are represented as folds. So if you have a lambda term representing a list, you just supply a folding function and a value to start with and the result will be the folded value.