> 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. Looks good.