No. 35 (2005): RS-35 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative