Pair encoding

Encoding:

• $\text{pair} = \lambda f.\ \lambda s.\ \lambda t.\ t\ f\ s$
• $\text{fst} = \lambda p.\ p\ \text{tru}$
• $\text{snd} = \lambda p.\ p\ \text{fls}$