Add test to type search and module names

[EmileTrotignon]

On https://mbarbin.github.io/provider/provider/Provider/index.html, when you search : int -> _ you get weird results like
val Provider.Interface.is_empty : ('t, _) t -> Base.bool

This is because the type is treated as Interface.t and int is present in interface.

This is not great for users, we need to at least make sure that if a real int result was present in the database it would come out on top. This should easily be done with a cram test.