Similarly you cannot use LSP to query the type of a symbol, something I do all the time in OCaml and other typed languages.