Remove literals
Addition&multiplication on church numerals