Wean one pass off of size decorations onto superior sizeEnv
Excise size from the decorations in the last phase of the compiler