Merge remote-tracking branch 'origin/master' into better-ho-cardinality
Initial work on Nested CPR
Further work on Nested CPR
Reimplement mkWWcpr_help

to generate a flat unboxed tuple even for nested CPR.
Do not generate workers with one element (# .. #) types
Fix a lubDmdResult equation
Loop breakers are not allowed to have a Converges DmdResult
Apply state hack only to information about arguments
More tracing
Recover [CPR for sum types] (slightly differently)
Do not forget about Divergence of thunks