Add `pair`, `fst`, and `snd`