Trait resolution is leaking everywhere

[Champii]

We don't proper resolve traits based on the current scope.
We have a lot of global trait-gathering inside the compiler and this should disappear in favor of a scoped-based resolution.