Functions

The point of this function is to replace bounds with types.
Builds the search index from the collected metadata
Return the full list of types when bounds have been resolved.