Add some examples of Church encoding