Types within PHOENIX