I agree with you. TYPE-SPECIFIER doesn't seem like a type to me, but rather like some sort of meta-thing. I would find it a bit confusing to include it among the types, though this is not one of the issues I can get very passionate about. -- Scott