On Session Types and Polynomial Time