Added an initial refactor to include an explicit sizeEnv in the top level Prog.
Merge branch 'sizeenv-refactor'
Back off on the sizeEnv.  Made it a typeEnv for now.  Going to move sizeEnv to the CLike IR.
Add an unfortunately large amoun of code to compute sizeEnv.  It's not used downstream yet.