[Resolver] Began with refactoring the entire resolver API and behaviour concerning ambiguous resolution results