Implement pairs and casePair primitive for destructuring them. Added fst and snd to extra prelude defs.