The Pairing of Contracts and Session Types