Eta-reduce pass

[kavon]

There's a CPS eta-reduce pass already written in the partial_abort_stm branch, which is run just before eta-expand.

It might be worth the effort to pull this optimization over to trunk, though I'm not sure what motivated @lematt1991 to implement this, i.e., is it meant to improve general programs, or clean-up some STM-specific transform?