finished initial typechecking in game.dats and game.sats