update
add Church encodings: conditionals, natural numbers