game with procedural types