Eta-expand the Simplifier

This small MR does eta-expansion for the Simplifier's monad.

It needs better commenting but I want to see the perf effect first. I think it's a win of about 2%, which would be great.