Initial work on Nested CPR
Further work on Nested CPR
Fix a lubDmdResult equation
Loop breakers are not allowed to have a Converges DmdResult
Forget DmdResult information within recursive calls
No need to limit the depth of DmdResult any more

if we analyize recursive functions with a signature of ⊤.
Apply state hack only to information about arguments
Recover [CPR for sum types] (slightly differently)
Reimplement mkWWcpr_help

to generate a flat unboxed tuple even for nested CPR.