Fix Church numerals, mul-church