Elaborate "non-algebraic or open body type" message
Turn "non-algebraic or open body type" back into a warning
Use mkWildCase in mkUnpackCase in WwLib
More precisely recover [CPR for sum types] behaviour