Update to latest TSC, and some typing.
Better loop analysis.