Foundations of Session Types: 10 Years Later