Class TypeAnnotator