Incremental type mining game.