fix(language/lean): give higher relevance score for lean_keyword