Add examples about Church numerals (see #21).