I agree that if we aren't going to flush all of these things (and for compatibility we probably can't), then we ought to complete the set of predicates for single-symbol type specifiers. I'd leave out T and NIL, however. -- Scott