Work out correct lattice type and unique axis after cell transformation
Currently, cell_transform_rational
just marks the output cell as triclinic with unknown unique axis. It should be possible to algebraically work out the real lattice type and unique axis. No cheating by comparing axis lengths and angles, because that's not very general. A general solution is probably worth a paper.