Shrinker now handles eta-blocks (L (x) = L' (x)). It passes all regressions and a self-compile, so I'm done working on the shrinker unless other bugs or missed optimizations are found. I'm back to working on direct-exp and eliminating the last vestiges of CPS from the closure converter.