WIP patch to fix vtable resolution.
Fix some impls such that all supertraits are actually implemented.
Have vtable resolution check for supertrait bounds. Closes #4055.