miscellaneous questions about declarations and type specfiers

[goldman@vaxa.isi.edu]

1)is there any portable way to obtain the expansion of a type
specifier (FOO ...), given that FOO was defined by
 (deftype FOO  ...)

2) is there any portable way to ask if DEC is a legitimate declaration
specifier in an implementation (including the possibility that DEC
has been legitimized with 
     (PROCLAIM '(DECLARATION DEC))


3) is there any portable way to ask if a symbol or list S is a legitimate
type specifier in an implementation?