resolve: allow limited inherent impl's outside of the implementee's module.

Allow inherent impl's in different modules than the one the type they are implemented for is in.
Unlike regular inherent impl's, these cannot contain static methods or associated items and are not subject to UFCS.