Fix bug in recent changes.  "Where type" may link a type ID with another type ID in the signature and so must be treated as a sharing constraint.
Fix bug in recent changes.  "Where type" may link a type ID with another type ID in the signature and so must be treated as a sharing constraint.

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

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