Designing a Session Type