support for rebuilding type constructors with mixed components (inductive and non-inductive) in any order
Merge pull request #6 from michaeldever/master

Defining rebuilding functions for constructors with mixed components.