Toitdoc does not contain the inferred type for globals

[floitsch]

We infer global types after we have sent the summary to the LSP server (which then passes it on to the toitdoc generater). As such, the toitdocs don't show the correct type information for globals.