Use function pointer instead of `ModuleResolver` trait

[bvssvni]

See #702

This PR introduces a trait ModuleResolver to allow custom module resolution. The trait method does not depend on the object, so one could use a function pointer instead.