lsp: Show types of expressions on hover

[flofriday]

Today we discussed this, feature which would help @Jozott00, @AndreasKrall and me debug VADL specs.

Implementation wise this hopefully should be easy because nodes that have a type are tagged as TypedNode, the only interesting problem might be that TypedNode might wrap other TypedNodes and we need to resolve the innermost.