SICP 2.6: Church numerals