Add a refactoring that annotates an implicit or explicit any with a best guess type inferred from its use sites

I would very much appreciate having a codefix (refactoring) that, given an explicit `any` annotation, offers to change it to an `{}` annotation. For example, given ```ts function log(x: any) { console.log(x); } ``` a code fix would be offered to change the declared type of `x` to `{}` resulting in ```ts function log(x: {}) { console.log(x); } ``` However, given ```ts function log(x: any) { console.log(x.name); } ``` a code fix would be offered to change the declared type of `x` to `{ name: any }` resulting in ```ts function log(x: {name: any}) { console.log(x); } ```