showTypeInfo: Display information about argument types
Description
This generic function returns type specifications as a list.
Elements in the list contain information about different parts of the
signature. The order and white spece of the list suggests structure of
the type specification.
showTypeInfo is usually invoked with a single argument, the
name of the function with type information.