This intention offers to change type annotation to a more specific one, if possible