[lsp] aliased type names

Shortens identifier names in hovers and clones description.

Uses a reversed namespace to find the shortest prefix of an identifier's path to avoid any ambiguities. The considered scope is the set of all used theories in a given file.