Converts 'typespec' into a representation suitable for further
inspection. Returns two values. The first one is a symbol that can be
specialized on via eql specializer, and the second one is a list of
arguments to the typespec. Ex: (inspect-typespec '(integer 1 5)) =>
integer => (1 5)

This function also implements certain useful logic. For example:
(inspect-typespec '(or null (integer 1 5)))
=> integer
=> (1 5)