A Semantic Deconstruction of Session Types