TypeAnalyzer
