extra_info hover annotations

for EApp, SVarInvariant, and SClose