Added DefinitionSearch as a submodule