There may be type constructors with different names sharing the same typeID.  Some may be datatypes and some types without value constructors.  Make different entries for these in the copy cache.
There may be type constructors with different names sharing the same typeID.  Some may be datatypes and some types without value constructors.  Make different entries for these in the copy cache.

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

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