• Checker
• An entry-point
• Checking a Statement
• Checking Type Equality
• Caching Data While Checking
• Type Flags
• Type Comparison
• Debugging Advice