feat(kernel/expr): add hash_bi function that takes binder information into account
fix(frontends/lean/info_manager): crash when accessing INFO in the end of the file
feat(frontends/lean/server): sort exact matches by size in FINDP