KhalimskyCell should preferably be defined as an inner type of KSpace (here type name KSpace::Cell).