design an abstraction for type signatures that is useful for a search engine

[UnixJunkie]

then use static spatial indexing of all .cmi files in the current opam switch to query fast