ポインタ型は派生型(deprived types)の一種で、派生型は他に配列型とか構造体型とかがある（6.2.5.20）
例えば、struct MyStructure {int num;};とかやったとして、struct MyStructureは規格に書いてないから型じゃないって言ってる状況に近いように見えるんだけども