Fixed typo in Church Encoding

are -> and