Two arity/eta-expansion patches
This MR has two main patches
- One deals with eta-expansion and join points:
Note [Eta-expansion and join points]
- One deals with eta-expansion and one-shots:
Note [Eta expansion with ArityType]
There are two other tiny and doc/debug patches too