Returns the world's dimensions, e.g. '{3x5}'.
String asString(GridWorld w) => '{${w.nRows}x${w.nCols}}';