Added Church encoding demo