That's like saying "words are abstract, while nouns are concrete".

Not really. Types include datastructures. They define the set of values that a datastructure can assume. They do the same for everything else, like variables, functions etc.