Improved flow-sensitive typing, and many other fixes.