TSConf 2020 Talk: Type System Game Engines