Refactoring finder type inference