Eta expand un-saturated primops
Now since we no longer try to predict CAFfyness we have no need for the solution to #16846 (closed). Eta expanding unsaturated primop applications is conceptually simpler, especially in the presence of levity polymorphism.
This essentially reverts cac8dc9f, as suggested in #18079 (closed). Most of the changes are updates to Notes.
Closes #18079 (closed).
To-do
-
Move Note [Eta expansion of hasNoBinding things in CorePrep]
to historical Note inNote [Eta expanding primops]
-
Amend Note [Primop wrappers]
and writeNote [Eta expanding primops]