Implement Nested CPR
This ticket tracks the design and implementation of a Nested CPR, e.g. extending CPR analysis to unbox constructed products nested inside constructed products.
A list of tickets for motivation:
- A simple rapid-termination analysis (higher-order
- Effective sum CPR needs to be nested and hence the terminaion analysis machinery
- Many heuristics of our current CPR analysis (i.e.
Note [CPR for binders that will be unboxed]) are an artifact of not being able to express and propagate nested CPRs in case scrutinees to field binders.