Church integer

  1. REDIRECT Church encoding