use VertexIndex and GroupIndex types in core/board