Minor refactor, lay groundwork to return more information from UnzipETups
Give UnzipETups the ability to really create new top level unzipped names
Move the guts of the sizeEnv computation to UnzipETups.  It has some remaining sloppiness and needs refactoring.