Church encodings done. I may revisit this to expand on church arithmetic operators for integers such as exp and fac and/or to create real numbers (and possibly rational, and imaginary and complex, etc...)