So that sounds like they do have to be instances of `DimCoord` rather than `Coord` though?