Use the derived Show instance for Type

This lets us also use the derived Read instance.  There is one change in SSA.hs
where we were calling show - this is changed to the more specific pretty
printed version.