Roadmap for Improving the Type Checker