separate Tile.t from Tile_t.t, add tile_t_to_t : Tile_t.t -> t,
Battlefield.dummy_map() and FieldGenerator.generate read the tile list from tiles.config