Add type annotator which replaces variable types with real ones.