refine Types on Game and Set