Pretty Church numerals

After enabling the corresponding language extension (see #9), the following two things happen:
* user can input Church numerals using numbers (e.g. inputting `4` will yield `\f x -> f (f (f (f x)))`);
* every occurence of a Church numeral in a printed term will be replaced with a corresponding number.