"We???ve already seen some kinds of things that have names: types such as str, functions" . . . .