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

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.