why not adding `PhaseSpaceIons` here, too, since you already typedef it above?