Resolver refactoring

- Started refactoring the type resolver
- Added method set target, method argument and return types resolution