Hover: types/annotations across modules

[zackbach]

This will require discussion with maintainers.

Currently, we turn types in ValueExport into a-any, which has the side-effect of displaying Any when hovering!