Basic church numerals
Move `pp` to the Parser module