ok to merge "overload resolution" label into "Symbol Resolution" label in github issues?

[timothee]

[https://github.com/nim-lang/Nim/issues?q=label%3A%22symbol+resolution%22](https://github.com/nim-lang/Nim/issues?q=label%3A%22symbol+resolution%22)+

[https://github.com/nim-lang/Nim/issues?q=label%3A%22overload+resolution%22](https://github.com/nim-lang/Nim/issues?q=label%3A%22overload+resolution%22)\+