minor refactoring: temporary scaffolding to take out ArraySizeEstimate decorations
Remove size decoration from a segment of the compiler.