Idris.TypeSearch
searchByType
searchPred
defaultScoreFunction