End-to-end Type Systems: More Features and Fewer Bugs - Stephen Wan