1. added code to handle the inclusion of inductive types and constructors in    parameters. 2. however, the code is still not working if the parameters are referenced    later on in the module signature. To fix this the representation of    terms must be changed to unify references to constants, inductive types and    constructors. 3. thus the code above is prefixed by an error that suggest to the user how    to avoid the problem right now. Note: the above code has not been commented    out to keep it in synch with the other changes in the kernel. However, it    is dead code for now.
1. added code to handle the inclusion of inductive types and constructors in
   parameters.
2. however, the code is still not working if the parameters are referenced
   later on in the module signature. To fix this the representation of
   terms must be changed to unify references to constants, inductive types and
   constructors.
3. thus the code above is prefixed by an error that suggest to the user how
   to avoid the problem right now. Note: the above code has not been commented
   out to keep it in synch with the other changes in the kernel. However, it
   is dead code for now.


git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@6600 85f007b7-540e-0410-9357-904b9bb8a0f7

gmalecha/coq,Lionel-Rieg/coq,Zimmi48/coq,gmalecha/coq,JasonGross/coq,silene/coq,TheTypoMaster/coq,Ptival/coq,TheTypoMaster/coq,asr/coq,pirbo/coq,coq/coq,letouzey/coq-wip,maximedenes/coq,silene/coq,jpdeplaix/coq,amintimany/coq,shindere/coq,gares/coq,herbelin/github-coq,ejgallego/coq,amintimany/coq,tomprince/coq,amintimany/coq,pirapira/coq2rust,herbelin/coq-hh,herbelin/github-coq,Ptival/coq,maximedenes/coq,coq/coq,Matafou/coq,SkySkimmer/coq,ppedrot/coq,ale-f/coq,asr/coq,gares/coq,ejgallego/coq,pirapira/coq2rust,silene/coq,pirapira/coq2rust,tomprince/coq,shindere/coq,letouzey/coq-wip,SkySkimmer/coq,ppedrot/coq,8l/coq,mattam82/Coq-misc,coq/coq,ale-f/coq,8l/coq,william-lawvere/coq,mattam82/Coq-misc,Zimmi48/coq,Lionel-Rieg/coq,jhjourdan/coq,Matafou/coq,ale-f/coq,TOSPIO/coq,aspiwack/coq,maximedenes/coq,maximedenes/coq,mattam82/coq,jpdeplaix/coq,jhjourdan/coq,Matafou/coq,gares/coq,barras/coq,gares/coq,shindere/coq,tomprince/coq,Ptival/coq,barras/coq,ejgallego/coq,mlasson/coq,JasonGross/coq,mlasson/coq,aspiwack/coq,jpdeplaix/coq,coq/coq,pirbo/coq,maximedenes/coq,ejgallego/coq,mattam82/coq,asr/coq,letouzey/coq-wip,TheTypoMaster/coq,letouzey/coq-wip,TOSPIO/coq,william-lawvere/coq,pirbo/coq,Lionel-Rieg/coq,jhjourdan/coq,SkySkimmer/coq,8l/coq,Zimmi48/coq,william-lawvere/coq,gmalecha/coq,gares/coq,barras/coq,TOSPIO/coq,JasonGross/coq,ppedrot/coq,ppedrot/coq,herbelin/github-coq,herbelin/coq-hh,mattam82/coq,mlasson/coq,JasonGross/coq,Zimmi48/coq,letouzey/coq-wip,aspiwack/coq,ppedrot/coq,SkySkimmer/coq