https://123dok.org/document/y8gro644-a-type-assignment-system-for-game-semantics.html