Remove debugging statement left in by mistake.
Better shape tracking in type checker.
Run Renamer after first-order-transform

Strange, I thought I got rid of the need for this...
Fix size annotations after iswim.  Maybe.