It returns T if it is a meaningful second argument to TYPEP and NIL if not. Is that specific enough? No. "Meaningful" covers a lot of ground, some of it undecidable. But Steele's proposal IS specific enough, in my view.