Allow manual implementations of built-in traits

cc #13231
Implement built-in trait for some types

cc #13231
Lookup trait implementations for type

This commit adds a function in vtable to find the vtables for a trait
implementation on a type.

cc #13231
Add a bounds visitor

The bounds visitor checks looks for built-in traits implementations and
verifies that the type fulfills such trait.

cc #13231