When printing a type it tries to look up the type name (type identifier) to find the corresponding type constructor.  If the look-up fails print "?." before the type.  This should be more helpful in situations where the type constructor has been redefined.
When printing a type it tries to look up the type name (type identifier) to find the corresponding type constructor.  If the look-up fails print "?." before the type.  This should be more helpful in situations where the type constructor has been redefined.

git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@1888 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

dcjm/polyml,mn200/polyml,dcjm/polyml,polyml/polyml,mn200/polyml,dcjm/polyml,polyml/polyml,polyml/polyml,mn200/polyml,mn200/polyml,dcjm/polyml,polyml/polyml