Types within PPCM