Fixes typeString

Print out the full name of the type,
except for refined types. Otherwise, it would say
"<refinement>". See test case.