Fixed typo in Church Encoding

are -> and
Merge pull request #7 from keseldude/patch-1

Fixed typo in Church Encoding