https://123dok.org/document/dzxr5mvz-context-free-session-type-inference.html