Making a Game with Types