Two changes related to datatype replication reported by Matthew Fluet.  When opening a structure the value constructors in the constructor list of a datatype have to be converted from Formal to Selected.  Removed the check that the "datatype" being replicated actually has constructors.  The Definition allows an arbitrary type structure here.
Two changes related to datatype replication reported by Matthew Fluet.  When opening a structure the value constructors in the constructor list of a datatype have to be converted from Formal to Selected.  Removed the check that the "datatype" being replicated actually has constructors.  The Definition allows an arbitrary type structure here.

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

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