rename files for clarity
remove dead code, add in balance and unbalance functions
rebuild working for types with either all inductive components, no inductive components, or no components. no working for mixed inductive and non-inductive components
Merge pull request #5 from michaeldever/master

Tidy benchmarks, rewrite flattening transformations, add balance and unbalance functions. Partial support for rebuilding data types.