Add church numeral and church boolean functions