[record] Cleanup of data structure and functions [2/2]
[record] Cleanup of data structure and functions [2/2]

In preparation for reworking the record declaration path to use the
common infrastructure, we perform some refactoring.

The current choices are far from definitive, as we will consolidate
the data types more as we move along with the work here.

gares/coq,ejgallego/coq,Zimmi48/coq,JasonGross/coq,gares/coq,Zimmi48/coq,Zimmi48/coq,gares/coq,coq/coq,silene/coq,coq/coq,JasonGross/coq,ejgallego/coq,gares/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,ejgallego/coq,JasonGross/coq,silene/coq,gares/coq,SkySkimmer/coq,JasonGross/coq,silene/coq,coq/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq