Add a strict no implicit import validation

If library lib1 rely on lib2 and the spec also rely on elements from lib2 but doesn't import it directly then there is a chance of breaking if lib1 stop relying on lib2 and remove its imports

We should add a validation(probably needs to be opt-in or warning) to flag use of types from a library not directly imported