- Eliminate box-unbox operations, including *Ref boxes #11
- Details in #53.
- Also make sure to consider code size #2
- Adapt the inliner heuristics to favor inlining that enables boxing elimination
- remove loads of side-effect free modules #16
- impacts nullness analysis: module with pure constructor and super constructors is always non-null