Make temporary elimination able to ignore calls to pure functions. (In practice this probably doesn't allow any additional optimizations, due to other constraints, but it's worth doing)
Mark some more packed array methods as pure.
Fix NewElementReference being too strict.
Add support for stripping optional/required modifiers on types in some TypeUtil methods.