Add rational number
Add church numerals
Add pair