Takes and expands a type specifier repeatedly like MACROEXPAND. Returns two values: the expansion, and a boolean that is true when expansion happened.
(sb-kernel:type-specifier &optional sb-kernel::env)
