I just realized that I don't know how to write a type specifier that concerns itself with the types of the elements of a list. That is, I can write '(ARRAY INTEGER) to specify an array that consists of integers but I can't write '(LIST INTEGER) to do the same for lists. Am I missing something obvious, or is there really no standard CL way to do this?