Fixed bug in Church numerals