continue the refactoring that annotates symbols and applications with type arguments